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

Silence CodeQL warning

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-17 10:32:25 +05:30
parent 2a842e36a1
commit 426815f7ab
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/shaders.c
View File

@ -497,7 +497,7 @@ render_window_title(OSWindow *os_window, Screen *screen UNUSED, GLfloat xstart,
unsigned bar_width = (unsigned)ceilf(right - left); unsigned bar_width = (unsigned)ceilf(right - left);
if (!window->title_bar_data.buf || window->title_bar_data.width != bar_width || window->title_bar_data.height != bar_height) { if (!window->title_bar_data.buf || window->title_bar_data.width != bar_width || window->title_bar_data.height != bar_height) {
free(window->title_bar_data.buf); free(window->title_bar_data.buf);
window->title_bar_data.buf = malloc(4 * bar_width * bar_height); window->title_bar_data.buf = malloc((size_t)4 * bar_width * bar_height);
window->title_bar_data.last_drawn_title_object_id = NULL; window->title_bar_data.last_drawn_title_object_id = NULL;
if (!window->title_bar_data.buf) return 0; if (!window->title_bar_data.buf) return 0;
window->title_bar_data.height = bar_height; window->title_bar_data.height = bar_height;