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

Do not scroll when using the alternate screen

Browse Source
This commit is contained in:
Kovid Goyal
2016-12-02 14:31:14 +05:30
parent d3fd0646fb
commit 5a068f7578
1 changed files with 18 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
kitty/window.py
View File

@@ -256,28 +256,34 @@ class Window:
tm.queue_ui_action(tm.glfw_window.set_clipboard_string, text) tm.queue_ui_action(tm.glfw_window.set_clipboard_string, text)
def scroll_line_up(self): def scroll_line_up(self):
self.char_grid.scroll('line', True) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('line', True)
glfw_post_empty_event()
def scroll_line_down(self): def scroll_line_down(self):
self.char_grid.scroll('line', False) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('line', False)
glfw_post_empty_event()
def scroll_page_up(self): def scroll_page_up(self):
self.char_grid.scroll('page', True) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('page', True)
glfw_post_empty_event()
def scroll_page_down(self): def scroll_page_down(self):
self.char_grid.scroll('page', False) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('page', False)
glfw_post_empty_event()
def scroll_home(self): def scroll_home(self):
self.char_grid.scroll('full', True) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('full', True)
glfw_post_empty_event()
def scroll_end(self): def scroll_end(self):
self.char_grid.scroll('full', False) if self.screen.is_main_linebuf():
glfw_post_empty_event() self.char_grid.scroll('full', False)
glfw_post_empty_event()
# }}} # }}}
def dump_commands(self, *a): # {{{ def dump_commands(self, *a): # {{{