Bug 1221238 - Fix devtools filter popup inputs width on linux. r=pbrosset
authorAlexandre Poirot <poirot.alex@gmail.com>
Wed, 04 Nov 2015 08:56:00 +0100
changeset 307645 f4c516bc60ee0a50885a73c8e9a97b8bb8e58162
parent 307644 1092bccf5535b2ffbb653d62dac617b983f3cd27
child 307646 0048cb0c2612525d1c1b47e4d997a59f7bd5e972
push id7333
push usernalexander@mozilla.com
push dateMon, 09 Nov 2015 18:31:16 +0000
reviewerspbrosset
bugs1221238
milestone45.0a1
Bug 1221238 - Fix devtools filter popup inputs width on linux. r=pbrosset
devtools/client/shared/widgets/filter-widget.css
--- a/devtools/client/shared/widgets/filter-widget.css
+++ b/devtools/client/shared/widgets/filter-widget.css
@@ -132,16 +132,21 @@ html, body {
   margin-right: 10px;
   flex: 1;
 }
 
 .filter-value input {
   flex-grow: 1;
 }
 
+/* Fix the size of inputs */
+/* Especially needed on Linux where input are bigger */
+input {
+  width: 8em;
+}
 
 .theme-light .add,
 .theme-light .remove-button,
 .theme-light #toggle-presets {
   filter: invert(1);
 }
 
 .preset {