From 619a6b2adb00b29b1aea7d2c71fb6d0c7e7dde8c Mon Sep 17 00:00:00 2001
From: Pyfisch <pyfisch@gmail.com>
Date: Fri, 5 Sep 2014 12:28:22 +0200
Subject: [PATCH 1/4] Removed  unused `short` filter from app.js.

---
 gui/app.js | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/gui/app.js b/gui/app.js
index 511bddb11..ed6cb365c 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -1043,12 +1043,6 @@ syncthing.filter('metric', function () {
     };
 });
 
-syncthing.filter('short', function () {
-    return function (input) {
-        return input.substr(0, 6);
-    };
-});
-
 syncthing.filter('alwaysNumber', function () {
     return function (input) {
         if (input === undefined) {

From 64d5d4aec7932e8a17463c6784b69be0b4254d27 Mon Sep 17 00:00:00 2001
From: Pyfisch <pyfisch@gmail.com>
Date: Fri, 5 Sep 2014 12:39:35 +0200
Subject: [PATCH 2/4] Removed unused `shortPath` filter from app.js.

---
 gui/app.js | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/gui/app.js b/gui/app.js
index ed6cb365c..427ab021d 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -1052,18 +1052,6 @@ syncthing.filter('alwaysNumber', function () {
     };
 });
 
-syncthing.filter('shortPath', function () {
-    return function (input) {
-        if (input === undefined)
-            return "";
-        var parts = input.split(/[\/\\]/);
-        if (!parts || parts.length <= 3) {
-            return input;
-        }
-        return ".../" + parts.slice(parts.length-2).join("/");
-    };
-});
-
 syncthing.filter('basename', function () {
     return function (input) {
         if (input === undefined)

From af2831d7b6f4d0943654fc18591dfac1a5db8445 Mon Sep 17 00:00:00 2001
From: Pyfisch <pyfisch@gmail.com>
Date: Fri, 5 Sep 2014 12:40:45 +0200
Subject: [PATCH 3/4] Removed unused `clean` filter from app.js.

---
 gui/app.js | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/gui/app.js b/gui/app.js
index 427ab021d..cbea6de2f 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -1064,12 +1064,6 @@ syncthing.filter('basename', function () {
     };
 });
 
-syncthing.filter('clean', function () {
-    return function (input) {
-        return encodeURIComponent(input).replace(/%/g, '');
-    };
-});
-
 syncthing.directive('optionEditor', function () {
     return {
         restrict: 'C',

From 0c09f077aa43d6770c3b303210c2538bb7c3bb55 Mon Sep 17 00:00:00 2001
From: Pyfisch <pyfisch@gmail.com>
Date: Fri, 5 Sep 2014 12:42:52 +0200
Subject: [PATCH 4/4] Removed unused `optionEditor` directive from app.js

---
 gui/app.js | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/gui/app.js b/gui/app.js
index cbea6de2f..b28b6d0a6 100644
--- a/gui/app.js
+++ b/gui/app.js
@@ -1064,18 +1064,6 @@ syncthing.filter('basename', function () {
     };
 });
 
-syncthing.directive('optionEditor', function () {
-    return {
-        restrict: 'C',
-        replace: true,
-        transclude: true,
-        scope: {
-            setting: '=setting',
-        },
-        template: '<input type="text" ng-model="config.Options[setting.id]"></input>',
-    };
-});
-
 syncthing.directive('uniqueRepo', function() {
     return {
         require: 'ngModel',