mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-23 16:58:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/iitalics/kittyFork1

Browse Source
This commit is contained in:
Kovid Goyal
2017-01-17 08:22:32 +05:30
parent 217cc2f40e a215ecde66
commit 2ed898c142
3 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/config.py
View File

@@ -110,6 +110,9 @@ type_map = {
'cursor_blink_interval': float, 'cursor_blink_interval': float,
'cursor_stop_blinking_after': float, 'cursor_stop_blinking_after': float,
'enabled_layouts': to_layout_names, 'enabled_layouts': to_layout_names,
'remember_window_size': to_bool,
'initial_window_width': int,
'initial_window_height': int,
'use_system_wcwidth': to_bool, 'use_system_wcwidth': to_bool,
} }

7
kitty/kitty.conf
View File

@@ -66,6 +66,13 @@ mouse_hide_wait 3.0
# For a list of available layouts, see the file layouts.py # For a list of available layouts, see the file layouts.py
enabled_layouts * enabled_layouts *
# If enabled, the window size will be remembered so that new instances of kitty will have the same
# size as the previous instance. If disabled, the window will initially have size configured
# by initial_window_width/height, in pixels.
remember_window_size yes
initial_window_width 640
initial_window_height 400
# Delay (in milliseconds) between screen updates. Decreasing it, increases fps # Delay (in milliseconds) between screen updates. Decreasing it, increases fps
# at the cost of more CPU usage. The default value yields ~100fps which is more # at the cost of more CPU usage. The default value yields ~100fps which is more
# that sufficient for most uses. # that sufficient for most uses.

5
kitty/main.py
View File

@@ -89,7 +89,7 @@ def dispatch_pending_calls(boss):
def run_app(opts, args): def run_app(opts, args):
setup_opengl() setup_opengl()
load_cached_values() load_cached_values()
if 'window-size' in cached_values: if 'window-size' in cached_values and opts.remember_window_size:
ws = cached_values['window-size'] ws = cached_values['window-size']
try: try:
viewport_size.width, viewport_size.height = map(int, ws) viewport_size.width, viewport_size.height = map(int, ws)
@@ -97,6 +97,9 @@ def run_app(opts, args):
safe_print('Invalid cached window size, ignoring', file=sys.stderr) safe_print('Invalid cached window size, ignoring', file=sys.stderr)
viewport_size.width = max(100, viewport_size.width) viewport_size.width = max(100, viewport_size.width)
viewport_size.height = max(80, viewport_size.height) viewport_size.height = max(80, viewport_size.height)
else:
viewport_size.width = opts.initial_window_width
viewport_size.height = opts.initial_window_height
window = Window( window = Window(
viewport_size.width, viewport_size.height, args.cls) viewport_size.width, viewport_size.height, args.cls)
window.set_title(appname) window.set_title(appname)