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

Use an unsigned int rather than a double to store pixel scroll offset

Browse Source 
Its an integral number of pixels.
This commit is contained in:
Kovid Goyal
2026-02-15 19:09:15 +05:30
parent a0b1adbda5
commit 823214575b
3 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/screen.h
View File

@@ -104,9 +104,8 @@ typedef struct ExtraCursors {
typedef struct {
PyObject_HEAD
unsigned int columns, lines, margin_top, margin_bottom, scrolled_by;
unsigned int columns, lines, margin_top, margin_bottom, scrolled_by, pixel_scroll_offset_y;
double pending_scroll_pixels_x, pending_scroll_pixels_y;
double pixel_scroll_offset_y;
CellPixelSize cell_size;
OverlayLine overlay_line;
id_type window_id;