version 0.17.3

This commit is contained in:
Kovid Goyal 2020-04-23 08:39:07 +05:30
parent d0329460b8
commit cc29640604
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 3 additions and 3 deletions

View File

@ -4,8 +4,8 @@ Changelog
|kitty| is a feature full, cross-platform, *fast*, GPU based terminal emulator. |kitty| is a feature full, cross-platform, *fast*, GPU based terminal emulator.
To update |kitty|, :doc:`follow the instructions <binary>`. To update |kitty|, :doc:`follow the instructions <binary>`.
0.17.3 [future] 0.17.3 [2020-04-23]
----------------- --------------------
- Allow individually setting margins and padding for each edge (left, right, - Allow individually setting margins and padding for each edge (left, right,
top, bottom). Margins can also be controlled per window via remote control top, bottom). Margins can also be controlled per window via remote control

View File

@ -20,7 +20,7 @@ class Version(NamedTuple):
appname: str = 'kitty' appname: str = 'kitty'
version: Version = Version(0, 17, 2) version: Version = Version(0, 17, 3)
str_version: str = '.'.join(map(str, version)) str_version: str = '.'.join(map(str, version))
_plat = sys.platform.lower() _plat = sys.platform.lower()
is_macos: bool = 'darwin' in _plat is_macos: bool = 'darwin' in _plat