diff options
author | Wolfgang Ulbrich <[email protected]> | 2015-11-17 13:13:06 +0100 |
---|---|---|
committer | Wolfgang Ulbrich <[email protected]> | 2015-11-17 13:13:06 +0100 |
commit | 5ecc6d7c26e7d721245bc06ba0d699d7f072c052 (patch) | |
tree | 4bfe3b3a5d179399b97861338b062d2cb9569778 /src | |
parent | 54db8f05e1a371b2af9814d1584a384d5579278e (diff) | |
download | mate-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.c | 16 |
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)) { |