gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

vte291: fix sensitive state of transparency slider

master-1.22
Wolfgang Ulbrich 2015-11-17 13:13:06 +01:00
parent 54db8f05e1
commit 5ecc6d7c26
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/profile-editor.c
View File

@ -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, "background-image"));
gtk_widget_hide (profile_editor_get_widget (editor, "darken-background-transparent-or-image-scale-label")); 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")); 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 #else
if (!prop_name || prop_name == I_(TERMINAL_PROFILE_BACKGROUND_TYPE)) if (!prop_name || prop_name == I_(TERMINAL_PROFILE_BACKGROUND_TYPE))
{ {