From 93874bbfccfbbec26e2344be04f4fffab9887559 Mon Sep 17 00:00:00 2001
From: James Campos <james.r.campos@gmail.com>
Date: Wed, 28 Apr 2010 02:21:14 -0700
Subject: [PATCH] add delete(), make adding/deleting options instant

---
 foltor/foltor.coffee | 30 +++++++++++++++++++++++++++++-
 foltor/foltor.js     | 42 ++++++++++++++++++++++++++++++++++++++----
 2 files changed, 67 insertions(+), 5 deletions(-)

diff --git a/foltor/foltor.coffee b/foltor/foltor.coffee
index e150975c3..8b2bdb3da 100644
--- a/foltor/foltor.coffee
+++ b/foltor/foltor.coffee
@@ -94,6 +94,9 @@ if typeof GM_deleteValue == 'undefined'
 
 
 GM_addStyle('
+    #box_options input {
+        width: 100px;
+    }
     #box, #box_options {
         position: fixed;
         text-align: right;
@@ -121,7 +124,7 @@ GM_addStyle('
     .move {
         cursor: move;
     }
-    .pointer, #box a, #box_options a {
+    #box a, #box_options a {
         cursor: pointer;
     }
     .hide {
@@ -197,6 +200,10 @@ save: ->
     for input in inputs
         if value: input.value
             filters[value]: {}
+            option: tag('option')
+            option.textContent: value
+            option.selected: true
+            select.appendChild(option)
     GM_setValue('filters', JSON.stringify(filters))
     remove(div)
 
@@ -206,14 +213,30 @@ cancel: ->
     remove(div)
 
 
+optionKeydown: (e) ->
+    if e.keyCode is 13 #enter
+        save.call(this.parentNode)
+
+
 addClass: ->
     div: tag('div')
     input: tag('input')
+    input.addEventListener('keydown', optionKeydown, true)
     div.appendChild(input)
     inBefore(this, div)
     input.focus()
 
 
+del: ->
+    value: @nextElementSibling.value
+    delete filters[value]
+    saveFilters()
+    remove @parentNode
+    for option in select.options
+        if option.value is value
+            remove option
+
+
 options: ->
     if opt: $('#box_options')
         remove(opt)
@@ -231,6 +254,11 @@ options: ->
         filters: JSON.parse(GM_getValue('filters', '{ "hide": {} }'))
         for filter of filters
             div: tag('div')
+            a: tag('a')
+            a.textContent: 'delete'
+            a.addEventListener('click', del, true)
+            div.appendChild(a)
+            div.appendChild(text(' '))
             input: tag('input')
             input.value: filter
             input.disabled: true
diff --git a/foltor/foltor.js b/foltor/foltor.js
index 9651c4b7a..6e701cc58 100644
--- a/foltor/foltor.js
+++ b/foltor/foltor.js
@@ -1,5 +1,5 @@
 (function(){
-  var $, $$, _a, _b, _c, _d, _e, _f, _g, a, addClass, autoHide, bar, box, cancel, div, f, field, fields, filter, filterAll, filterSingle, filters, inBefore, input, keydown, label, loadFilters, mousedown, mousemove, mouseup, move, name, option, options, position, remove, reset, save, saveFilters, select, tag, text, x;
+  var $, $$, _a, _b, _c, _d, _e, _f, _g, a, addClass, autoHide, bar, box, cancel, del, div, f, field, fields, filter, filterAll, filterSingle, filters, inBefore, input, keydown, label, loadFilters, mousedown, mousemove, mouseup, move, name, option, optionKeydown, options, position, remove, reset, save, saveFilters, select, tag, text, x;
   var __hasProp = Object.prototype.hasOwnProperty;
   x = function x(path, root) {
     root = root || document.body;
@@ -123,6 +123,9 @@
     };
   }
   GM_addStyle(' \
+#box_options input { \
+width: 100px; \
+} \
 #box, #box_options { \
 position: fixed; \
 text-align: right; \
@@ -150,7 +153,7 @@ padding: 0 5px 5px 5px; \
 .move { \
 cursor: move; \
 } \
-.pointer, #box a, #box_options a { \
+#box a, #box_options a { \
 cursor: pointer; \
 } \
 .hide { \
@@ -228,13 +231,19 @@ display: none; \
     return GM_setValue('className', box.className);
   };
   save = function save() {
-    var _a, _b, _c, div, input, inputs, value;
+    var _a, _b, _c, div, input, inputs, option, value;
     div = this.parentNode.parentNode;
     inputs = $$('input:enabled', div);
     _b = inputs;
     for (_a = 0, _c = _b.length; _a < _c; _a++) {
       input = _b[_a];
-      (value = input.value) ? (filters[value] = {}) : null;
+      if ((value = input.value)) {
+        filters[value] = {};
+        option = tag('option');
+        option.textContent = value;
+        option.selected = true;
+        select.appendChild(option);
+      }
     }
     GM_setValue('filters', JSON.stringify(filters));
     return remove(div);
@@ -244,14 +253,34 @@ display: none; \
     div = this.parentNode.parentNode;
     return remove(div);
   };
+  optionKeydown = function optionKeydown(e) {
+    if (e.keyCode === 13) {
+      //enter
+      return save.call(this.parentNode);
+    }
+  };
   addClass = function addClass() {
     var div, input;
     div = tag('div');
     input = tag('input');
+    input.addEventListener('keydown', optionKeydown, true);
     div.appendChild(input);
     inBefore(this, div);
     return input.focus();
   };
+  del = function del() {
+    var _a, _b, _c, _d, option, value;
+    value = this.nextElementSibling.value;
+    delete filters[value];
+    saveFilters();
+    remove(this.parentNode);
+    _a = []; _c = select.options;
+    for (_b = 0, _d = _c.length; _b < _d; _b++) {
+      option = _c[_b];
+      _a.push(option.value === value ? remove(option) : null);
+    }
+    return _a;
+  };
   options = function options() {
     var _a, a, bar, div, filter, filters, input, opt;
     if ((opt = $('#box_options'))) {
@@ -270,6 +299,11 @@ display: none; \
       _a = filters;
       for (filter in _a) { if (__hasProp.call(_a, filter)) {
         div = tag('div');
+        a = tag('a');
+        a.textContent = 'delete';
+        a.addEventListener('click', del, true);
+        div.appendChild(a);
+        div.appendChild(text(' '));
         input = tag('input');
         input.value = filter;
         input.disabled = true;