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

Cleanup kitty dcs parsing

Browse Source
This commit is contained in:
Kovid Goyal
2023-11-07 16:54:17 +05:30
parent 0a6d83901d
commit 50935b6c93
6 changed files with 47 additions and 44 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
kitty/screen.h
View File

@@ -203,7 +203,6 @@ void screen_repeat_character(Screen *self, unsigned int count);
void screen_delete_characters(Screen *self, unsigned int count);
void screen_erase_characters(Screen *self, unsigned int count);
void screen_set_margins(Screen *self, unsigned int top, unsigned int bottom);
void screen_handle_cmd(Screen *, PyObject *cmd);
void screen_push_colors(Screen *, unsigned int);
void screen_pop_colors(Screen *, unsigned int);
void screen_report_color_stack(Screen *);