Backed out changeset 06607dd59bba (bug 987089)

2014-05-21 15:48:57 +01:00 · 2014-05-21 15:48:57 +01:00 · 26a067fa91
--- a/browser/themes/shared/devtools/projecteditor/projecteditor.css
+++ b/browser/themes/shared/devtools/projecteditor/projecteditor.css
@ -27,7 +27,7 @@

 .sources-tree {
  overflow:auto;
-  -moz-user-focus: normal;
+  -moz-user-focus: true;
 }

 .sources-tree input {