summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorWolfgang Ulbrich <[email protected]>2015-11-17 13:13:06 +0100
committerWolfgang Ulbrich <[email protected]>2015-11-17 13:13:06 +0100
commit5ecc6d7c26e7d721245bc06ba0d699d7f072c052 (patch)
tree4bfe3b3a5d179399b97861338b062d2cb9569778 /src
parent54db8f05e1a371b2af9814d1584a384d5579278e (diff)
downloadmate-terminal-5ecc6d7c26e7d721245bc06ba0d699d7f072c052.tar.bz2
mate-terminal-5ecc6d7c26e7d721245bc06ba0d699d7f072c052.tar.xz
vte291: fix sensitive state of transparency slider
Diffstat (limited to 'src')
-rw-r--r--src/profile-editor.c16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/profile-editor.c b/src/profile-editor.c
index cbfc394..3d33639 100644
--- a/src/profile-editor.c
+++ b/src/profile-editor.c
@@ -145,6 +145,22 @@ profile_notify_sensitivity_cb (TerminalProfile *profile,
gtk_widget_hide (profile_editor_get_widget (editor, "background-image"));
gtk_widget_hide (profile_editor_get_widget (editor, "darken-background-transparent-or-image-scale-label"));
gtk_widget_show (profile_editor_get_widget (editor, "darken-background-transparent-scale-label"));
+ if (!prop_name || prop_name == I_(TERMINAL_PROFILE_BACKGROUND_TYPE))
+ {
+ gboolean bg_type_locked = terminal_profile_property_locked (profile, TERMINAL_PROFILE_BACKGROUND_TYPE);
+ SET_SENSITIVE ("solid-radiobutton", !bg_type_locked);
+ SET_SENSITIVE ("transparent-radiobutton", !bg_type_locked);
+
+ bg_type = terminal_profile_get_property_enum (profile, TERMINAL_PROFILE_BACKGROUND_TYPE);
+ if (bg_type == TERMINAL_BACKGROUND_TRANSPARENT)
+ {
+ SET_SENSITIVE ("darken-background-vbox", !terminal_profile_property_locked (profile, TERMINAL_PROFILE_BACKGROUND_DARKNESS));
+ }
+ else
+ {
+ SET_SENSITIVE ("darken-background-vbox", FALSE);
+ }
+ }
#else
if (!prop_name || prop_name == I_(TERMINAL_PROFILE_BACKGROUND_TYPE))
{