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

kitty/config_data: remove duplicate function

Browse Source 
selection_foreground() serves the exact same purpose as
to_color_or_none()
This commit is contained in:
Tomas Krizek 2021-01-01 23:23:47 +01:00
parent 56ebc9fa92
commit fb8b9b3933
No known key found for this signature in database
GPG Key ID: 17FBAFD462D8A049
1 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
kitty/config_data.py
View File

@ -1025,14 +1025,7 @@ o('dim_opacity', 0.75, option_type=unit_float, long_text=_('''
How much to dim text that has the DIM/FAINT attribute set. One means no dimming and
zero means fully dimmed (i.e. invisible).'''))
def selection_foreground(x: str) -> Optional[Color]:
if x.lower() != 'none':
return to_color(x)
return None
o('selection_foreground', '#000000', option_type=selection_foreground, long_text=_('''
o('selection_foreground', '#000000', option_type=to_color_or_none, long_text=_('''
The foreground for text selected with the mouse. A value of none means to leave the color unchanged.'''))
o('selection_background', '#fffacd', option_type=to_color, long_text=_('''
The background for text selected with the mouse.'''))