diff options
| author | osch <oliver at luced de> | 2019-05-21 19:35:30 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-03 20:36:53 +0200 |
| commit | 045cda7ac4804eceda33beb8f9342c21054bd422 (patch) | |
| tree | dab82944232accb694cbf1b453862e67b53fa047 /src/profile-editor.c | |
| parent | 803878a775975f2940406b27333e6c5376feb34f (diff) | |
| download | mate-terminal-045cda7ac4804eceda33beb8f9342c21054bd422.tar.bz2 mate-terminal-045cda7ac4804eceda33beb8f9342c21054bd422.tar.xz | |
make "highlighting things under mouse pointer" configurable
Diffstat (limited to 'src/profile-editor.c')
| -rw-r--r-- | src/profile-editor.c | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/profile-editor.c b/src/profile-editor.c index fc13235..e0d54b2 100644 --- a/src/profile-editor.c +++ b/src/profile-editor.c @@ -253,6 +253,15 @@ profile_notify_sensitivity_cb (TerminalProfile *profile, SET_SENSITIVE ("copy-checkbutton", !terminal_profile_property_locked (profile, TERMINAL_PROFILE_COPY_SELECTION)); +#ifdef ENABLE_SKEY + if (!prop_name || prop_name == I_(TERMINAL_PROFILE_USE_SKEY)) + SET_SENSITIVE ("use-skey-checkbutton", + !terminal_profile_property_locked (profile, TERMINAL_PROFILE_USE_SKEY)); +#endif + if (!prop_name || prop_name == I_(TERMINAL_PROFILE_USE_URLS)) + SET_SENSITIVE ("use-urls-checkbutton", + !terminal_profile_property_locked (profile, TERMINAL_PROFILE_USE_URLS)); + if (!prop_name || prop_name == I_(TERMINAL_PROFILE_WORD_CHARS)) SET_SENSITIVE ("word-chars-entry", !terminal_profile_property_locked (profile, TERMINAL_PROFILE_WORD_CHARS)); @@ -683,7 +692,9 @@ terminal_profile_edit (TerminalProfile *profile, editor = (GtkWidget *) gtk_builder_get_object (builder, "profile-editor-dialog"); g_object_set_data_full (G_OBJECT (editor), "builder", builder, (GDestroyNotify) g_object_unref); - +#ifndef ENABLE_SKEY + gtk_widget_hide (profile_editor_get_widget (editor, "use-skey-checkbutton")); +#endif /* Store the dialogue on the profile, so we can acccess it above to check if * there's already a profile editor for this profile. */ @@ -818,6 +829,10 @@ terminal_profile_edit (TerminalProfile *profile, CONNECT_WITH_FLAGS ("bell-checkbutton", TERMINAL_PROFILE_SILENT_BELL, FLAG_INVERT_BOOL); /* CONNECT_WITH_FLAGS ("copy-checkbutton", TERMINAL_PROFILE_COPY_SELECTION, FLAG_INVERT_BOOL); */ CONNECT ("copy-checkbutton", TERMINAL_PROFILE_COPY_SELECTION); +#ifdef ENABLE_SKEY + CONNECT ("use-skey-checkbutton", TERMINAL_PROFILE_USE_SKEY); +#endif + CONNECT ("use-urls-checkbutton", TERMINAL_PROFILE_USE_URLS); #undef CONNECT #undef CONNECT_WITH_FLAGS |