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

Use an overlay window for window resizing

Browse Source 
Also implement a remote command to resize windows
This commit is contained in:
Kovid Goyal
2018-05-17 23:26:41 +05:30
parent 7c47bd547f
commit 8ea84c97d5
16 changed files with 246 additions and 85 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
kitty/window.py
View File

@@ -17,10 +17,10 @@ from .fast_data_types import (
BLIT_PROGRAM, CELL_BG_PROGRAM, CELL_FG_PROGRAM, CELL_PROGRAM,
CELL_SPECIAL_PROGRAM, CSI, CURSOR_PROGRAM, DCS, GRAPHICS_PREMULT_PROGRAM,
GRAPHICS_PROGRAM, OSC, SCROLL_FULL, SCROLL_LINE, SCROLL_PAGE, Screen,
add_window, compile_program, enter_resize_mode, get_clipboard_string,
glfw_post_empty_event, init_cell_program, init_cursor_program,
set_clipboard_string, set_titlebar_color, set_window_render_data,
update_window_title, update_window_visibility, viewport_for_window
add_window, compile_program, get_clipboard_string, glfw_post_empty_event,
init_cell_program, init_cursor_program, set_clipboard_string,
set_titlebar_color, set_window_render_data, update_window_title,
update_window_visibility, viewport_for_window
)
from .keys import keyboard_mode_name
from .rgb import to_color
@@ -193,9 +193,6 @@ class Window:
return True
self.write_to_child(text)
def start_resizing_window(self):
enter_resize_mode(self.os_window_id, self.tab_id, self.id)
def write_to_child(self, data):
if data:
if get_boss().child_monitor.needs_write(self.id, data) is not True: