[gnome-terminal] profile: editor: Add window title to highlight color pickers



commit fcd6bf551ce370a1cef1adecc8f56810868f0724
Author: Egmont Koblinger <egmont gmail com>
Date:   Mon Jan 1 20:49:23 2018 +0100

    profile: editor: Add window title to highlight color pickers

 src/profile-preferences.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index 97930b3..17cb104 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -1180,6 +1180,7 @@
                                         <property name="can_focus">True</property>
                                         <property name="receives_default">True</property>
                                         <property name="halign">start</property>
+                                        <property name="title" translatable="yes">Choose Terminal Highlight 
Foreground Color</property>
                                       </object>
                                       <packing>
                                         <property name="top_attach">5</property>
@@ -1192,6 +1193,7 @@
                                         <property name="can_focus">True</property>
                                         <property name="receives_default">True</property>
                                         <property name="halign">start</property>
+                                        <property name="title" translatable="yes">Choose Terminal Highlight 
Background Color</property>
                                       </object>
                                       <packing>
                                         <property name="top_attach">5</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]