KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'pr-fix-screen-switching' of https://github.com/sergei-grechanik/kitty

Browse Source
This commit is contained in:
Kovid Goyal 2023-02-21 10:20:32 +05:30
commit 1f84e2d4e5
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/screen.c
View File

@ -977,6 +977,7 @@ screen_toggle_screen_buffer(Screen *self, bool save_cursor, bool clear_alt_scree
} }
screen_history_scroll(self, SCROLL_FULL, false); screen_history_scroll(self, SCROLL_FULL, false);
self->is_dirty = true; self->is_dirty = true;
self->grman->layers_dirty = true;
clear_selection(&self->selections); clear_selection(&self->selections);
global_state.check_for_active_animated_images = true; global_state.check_for_active_animated_images = true;
} }