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] 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 cbea6de2..b28b6d0a 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',