Bug 767377 - The filtering textbox expands when entering a string; r=past
authorVictor Porof <vporof@mozilla.com>
Sun, 15 Jul 2012 13:45:38 +0300
changeset 102110 492fb99ae0d8e22017d696dce87120f9351faf23
parent 102109 842865c36ff15dcd1c392047ee35c9b9fafa3d63
child 102111 6a0dfbde408949420de42caaa5e97f92efdde035
push idunknown
push userunknown
push dateunknown
reviewerspast
bugs767377
milestone16.0a1
Bug 767377 - The filtering textbox expands when entering a string; r=past
browser/themes/winstripe/devtools/debugger.css
--- a/browser/themes/winstripe/devtools/debugger.css
+++ b/browser/themes/winstripe/devtools/debugger.css
@@ -16,16 +16,24 @@
   padding: 0;
 }
 
 #scripts {
   max-width: 350px;
 }
 
 /**
+ * This hardcoded width likely due to a toolkit Windows specific bug.
+ * See http://hg.mozilla.org/mozilla-central/annotate/f38d6df93cad/toolkit/themes/winstripe/global/textbox-aero.css#l7
+ */
+#scripts-search {
+  width: 200px;
+}
+
+/**
  * Lists and headers
  */
 
 .list-item {
   padding: 2px;
 }
 
 .list-item.selected {