KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Disallow use of both macos_titlebar_color and background_opacity

Browse Source 
Fixes #519
This commit is contained in:
Kovid Goyal 2018-05-03 09:10:39 +05:30
parent 45fc1ace0c
commit f011a6c86c
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/config.py
View File

@ -558,4 +558,7 @@ def finalize_keys(opts):
def load_config(*paths, overrides=None): def load_config(*paths, overrides=None):
opts = _load_config(Options, defaults, parse_config, merge_configs, *paths, overrides=overrides) opts = _load_config(Options, defaults, parse_config, merge_configs, *paths, overrides=overrides)
finalize_keys(opts) finalize_keys(opts)
if opts.background_opacity < 1.0 and opts.macos_titlebar_color:
log_error('Cannot use both macos_titlebar_color and background_opacity')
opts.macos_titlebar_color = 0
return opts return opts

6
kitty/kitty.conf
View File

@ -507,7 +507,11 @@ clear_all_shortcuts no
# Change the color of the kitty window's titlebar on macOS. A value of "system" # Change the color of the kitty window's titlebar on macOS. A value of "system"
# means to use the default system color, a value of "background" means to use # means to use the default system color, a value of "background" means to use
# the default background color and finally you can use an arbitrary color, such # the default background color and finally you can use an arbitrary color, such
# as #12af59 or "red". # as #12af59 or "red". WARNING: This option works by using a hack, as there is
# no proper Cocoa API for it. It sets the background color of the entire window
# and makes the titlebar transparent. As such it is incompatible with
# background_opacity. If you want to use both, you are probably better off just
# hiding the titlebar with macos_hide_titlebar.
macos_titlebar_color system macos_titlebar_color system
# Hide the kitty window's title bar on macOS. # Hide the kitty window's title bar on macOS.