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/terminal-profile.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/terminal-profile.c')
-rw-r--r-- | src/terminal-profile.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/terminal-profile.c b/src/terminal-profile.c index 02daa6a..ab25741 100644 --- a/src/terminal-profile.c +++ b/src/terminal-profile.c @@ -79,6 +79,7 @@ enum PROP_USE_CUSTOM_COMMAND, PROP_USE_CUSTOM_DEFAULT_SIZE, PROP_USE_SKEY, + PROP_USE_URLS, PROP_USE_SYSTEM_FONT, PROP_USE_THEME_COLORS, PROP_VISIBLE_NAME, @@ -120,6 +121,7 @@ enum #define KEY_USE_CUSTOM_COMMAND "use-custom-command" #define KEY_USE_CUSTOM_DEFAULT_SIZE "use-custom-default-size" #define KEY_USE_SKEY "use-skey" +#define KEY_USE_URLS "use-urls" #define KEY_USE_SYSTEM_FONT "use-system-font" #define KEY_USE_THEME_COLORS "use-theme-colors" #define KEY_VISIBLE_NAME "visible-name" @@ -160,6 +162,7 @@ enum #define DEFAULT_USE_CUSTOM_COMMAND (FALSE) #define DEFAULT_USE_CUSTOM_DEFAULT_SIZE (FALSE) #define DEFAULT_USE_SKEY (TRUE) +#define DEFAULT_USE_URLS (TRUE) #define DEFAULT_USE_SYSTEM_FONT (TRUE) #define DEFAULT_USE_THEME_COLORS (TRUE) #define DEFAULT_VISIBLE_NAME (N_("Unnamed")) @@ -1298,6 +1301,7 @@ terminal_profile_class_init (TerminalProfileClass *klass) TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_CUSTOM_COMMAND, DEFAULT_USE_CUSTOM_COMMAND, KEY_USE_CUSTOM_COMMAND); TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_CUSTOM_DEFAULT_SIZE, DEFAULT_USE_CUSTOM_DEFAULT_SIZE, KEY_USE_CUSTOM_DEFAULT_SIZE); TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_SKEY, DEFAULT_USE_SKEY, KEY_USE_SKEY); + TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_URLS, DEFAULT_USE_URLS, KEY_USE_URLS); TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_SYSTEM_FONT, DEFAULT_USE_SYSTEM_FONT, KEY_USE_SYSTEM_FONT); TERMINAL_PROFILE_PROPERTY_BOOLEAN (USE_THEME_COLORS, DEFAULT_USE_THEME_COLORS, KEY_USE_THEME_COLORS); |