mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-18 14:34:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

Implement proper editor integration for mypy

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-08 14:39:46 +05:30
parent d84cff0baf
commit 7057bc663e
6 changed files with 37 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/config_data.py
View File

@@ -6,7 +6,7 @@
import os
from gettext import gettext as _
from typing import (
Any, Dict, FrozenSet, Iterable, List, Optional, Set, Tuple, TypeVar, Union, cast
Any, Dict, FrozenSet, Iterable, List, Optional, Set, Tuple, TypeVar, Union
)
from . import fast_data_types as defines
@@ -792,7 +792,7 @@ separated by a configurable separator, and the powerline shows the tabs as a con
def tab_bar_min_tabs(x: str) -> int:
return cast(int, max(1, positive_int(x)))
return max(1, positive_int(x))
o('tab_bar_min_tabs', 2, option_type=tab_bar_min_tabs, long_text=_('''
@@ -1076,7 +1076,7 @@ def macos_titlebar_color(x: str) -> int:
return 0
if x == 'background':
return 1
return cast(int, (color_as_int(to_color(x)) << 8) | 2)
return (color_as_int(to_color(x)) << 8) | 2
o('macos_titlebar_color', 'system', option_type=macos_titlebar_color, long_text=_('''