From f6120299af90884cb6237dcf0a5de64bbab6d666 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 30 Nov 2014 19:42:49 -0200
Subject: [PATCH] this fixes #387

---
 src/js/element-picker.js | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/js/element-picker.js b/src/js/element-picker.js
index 34534fcc6..471cc64e2 100644
--- a/src/js/element-picker.js
+++ b/src/js/element-picker.js
@@ -867,16 +867,15 @@ var startPicker = function(details) {
         '<div>',
         '<textarea dir="ltr" spellcheck="false"></textarea>',
         '<div>',
-        '<button id="create" type="button" disabled>.</button>',
+        '<button id="create" type="button" disabled="disabled">.</button>',
         '<button id="pick" type="button">.</button>',
         '<button id="quit" type="button">.</button>',
         '</div>',
         '</div>',
         '<ul>',
-        '<li id="netFilters"><span>.</span><ul></ul>',
-        '<li id="cosmeticFilters"><span>.</span>&ensp;<span>.</span><ul></ul>',
-        '</ul>',
-        ''
+        '<li id="netFilters"><span>.</span><ul></ul></li>',
+        '<li id="cosmeticFilters"><span>.</span> <span>.</span><ul></ul></li>',
+        '</ul>'
     ].join('');
     pickerRoot.appendChild(divDialog);