[gnome-terminal] profile: editor: Add window title to highlight color pickers
- From: Egmont Koblinger <egmontkob src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] profile: editor: Add window title to highlight color pickers
- Date: Mon, 1 Jan 2018 19:50:10 +0000 (UTC)
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]