[gnome-builder] editor: style tweaks for editor properties

[Christian Hergert <chergert src gnome org>]

commit 71edfe082d51142731cf05f587730fb45b9e01f7
Author: Christian Hergert <chergert redhat com>
Date:   Fri Jul 7 21:45:53 2017 -0700

    editor: style tweaks for editor properties

 data/themes/Adwaita-shared.css          |    6 ++++++
 data/themes/shared/shared-editor.css    |   18 ++++++++++++++----
 libide/editor/ide-editor-perspective.ui |    1 +
 libide/editor/ide-editor-properties.ui  |    1 -
 4 files changed, 21 insertions(+), 5 deletions(-)
---
diff --git a/data/themes/Adwaita-shared.css b/data/themes/Adwaita-shared.css
index da655cf..fd97fcd 100644
--- a/data/themes/Adwaita-shared.css
+++ b/data/themes/Adwaita-shared.css
@@ -57,3 +57,9 @@ ideeditorsidebar notebook header {
 ideeditorsidebar notebook header tab {
   padding: 0;
 }
+
+ideeditorproperties entry:last-child {
+  border-radius: 0;
+  border-right: none;
+  border-left: none;
+}
diff --git a/data/themes/shared/shared-editor.css b/data/themes/shared/shared-editor.css
index 7e4537e..fa03859 100644
--- a/data/themes/shared/shared-editor.css
+++ b/data/themes/shared/shared-editor.css
@@ -67,10 +67,20 @@ ideeditorproperties button {
   padding: 2px 12px;
 }
 ideeditorproperties checkbutton {
- margin: 8px 0 0 0;
- outline-offset: 2px;
- padding: 0;
+  margin: 8px 0 0 0;
+  outline-offset: 2px;
+  padding: 0;
 }
 ideeditorproperties checkbutton check {
- margin: 0 8px 0 0;
+  margin: 0 8px 0 0;
+}
+ideeditorproperties treeview {
+  color: @theme_fg_color;
+}
+ideeditorproperties treeview:selected:backdrop,
+ideeditorproperties treeview:selected {
+  color: @theme_selected_fg_color;
+}
+ideeditorproperties treeview:backdrop {
+  color: @theme_unfocused_fg_color;
 }
diff --git a/libide/editor/ide-editor-perspective.ui b/libide/editor/ide-editor-perspective.ui
index 616b2e0..6a9ee99 100644
--- a/libide/editor/ide-editor-perspective.ui
+++ b/libide/editor/ide-editor-perspective.ui
@@ -19,6 +19,7 @@
             <property name="visible">true</property>
             <child>
               <object class="IdeEditorProperties" id="properties">
+                <property name="sensitive">false</property>
                 <property name="visible">true</property>
               </object>
             </child>
diff --git a/libide/editor/ide-editor-properties.ui b/libide/editor/ide-editor-properties.ui
index 863ab57..690908e 100644
--- a/libide/editor/ide-editor-properties.ui
+++ b/libide/editor/ide-editor-properties.ui
@@ -289,7 +289,6 @@
             </child>
             <child>
               <object class="GtkSearchEntry" id="entry">
-                <property name="has-frame">false</property>
                 <property name="visible">true</property>
                 <property name="placeholder-text" translatable="yes">Search languages…</property>
               </object>