Bug 1221238 - Fix devtools filter popup inputs width on linux. r=pbrosset, a=ritu
authorAlexandre Poirot <poirot.alex@gmail.com>
Wed, 04 Nov 2015 08:56:00 +0100
changeset 305465 bbd42656aa68fe8c731e41612b6b596a902cae38
parent 305464 0da1c27313f163a08b240bccc2bdf97da600a4c4
child 305466 5916c2111137afbb08437677537348cd73f9c727
push id1001
push userraliiev@mozilla.com
push dateMon, 18 Jan 2016 19:06:03 +0000
treeherdermozilla-release@8b89261f3ac4 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewerspbrosset, ritu
bugs1221238
milestone44.0a2
Bug 1221238 - Fix devtools filter popup inputs width on linux. r=pbrosset, a=ritu
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 {