[gnome-builder/wip/operators: 1/4] workbench: Allow half tiled window for small resolutions

[Carlos Soriano Sánchez <csoriano src gnome org>]

commit 3eac9b69362333c06d15bc7bf3e49d6f149b3973
Author: Carlos Soriano <csoriano gnome org>
Date:   Fri Jan 30 15:34:24 2015 +0100

    workbench: Allow half tiled window for small resolutions
    
    There is still a common screen resolution on laptops of 1366x768.
    To allow those to half tile the builder window we have to reduce
    some minimum widths.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=743742

 src/resources/css/builder.Adwaita.css     |   10 ++++++++++
 src/resources/ui/gb-search-box.ui         |    2 +-
 src/resources/ui/gb-search-display-row.ui |    1 +
 src/resources/ui/gb-workbench.ui          |    2 +-
 4 files changed, 13 insertions(+), 2 deletions(-)
---
diff --git a/src/resources/css/builder.Adwaita.css b/src/resources/css/builder.Adwaita.css
index 6e29d3a..6d6b175 100644
--- a/src/resources/css/builder.Adwaita.css
+++ b/src/resources/css/builder.Adwaita.css
@@ -208,6 +208,16 @@ GtkScrolledWindow.gb-linked-scroller {
     border-top: none;
 }
 
+/*
+ * Global search.
+ */
+.score-bar {
+    /*
+     * The default minimum with of GtkProgressBar is 150, which is too much for
+     * this use.
+     */
+    -GtkProgressBar-min-horizontal-bar-width: 50;
+}
 
 /*
  * Disable various animatinos that are enabled by default and really annoying
diff --git a/src/resources/ui/gb-search-box.ui b/src/resources/ui/gb-search-box.ui
index bd1e656..26411a0 100644
--- a/src/resources/ui/gb-search-box.ui
+++ b/src/resources/ui/gb-search-box.ui
@@ -38,7 +38,7 @@
       <object class="GbScrolledWindow" id="scroller">
         <property name="max-content-height">800</property>
         <property name="min-content-height">50</property>
-        <property name="min-content-width">775</property>
+        <property name="min-content-width">640</property>
         <property name="visible">True</property>
         <child>
           <object class="GbSearchDisplay" id="display">
diff --git a/src/resources/ui/gb-search-display-row.ui b/src/resources/ui/gb-search-display-row.ui
index fdd0735..20d079b 100644
--- a/src/resources/ui/gb-search-display-row.ui
+++ b/src/resources/ui/gb-search-display-row.ui
@@ -37,6 +37,7 @@
         <property name="margin_end">6</property>
         <style>
           <class name="osd"/>
+          <class name="score-bar"/>
         </style>
       </object>
     </child>
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index a2d348a..37d8b86 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -10,7 +10,7 @@
         <child type="title">
           <object class="GbSearchBox" id="search_box">
             <property name="visible">True</property>
-            <property name="width_request">540</property>
+            <property name="width_request">525</property>
             <property name="margin-start">6</property>
             <property name="margin-end">6</property>
           </object>