Always redraw line numbers

It didn't work reliably, sometimes missed redraws when needed.

Fixes #21.
This commit is contained in:
Balló György 2022-12-13 00:39:35 +01:00 committed by GitHub
parent 16f2222211
commit 836ea286e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -162,10 +162,6 @@ line_numbers_expose (GtkWidget *widget, cairo_t *event)
cairo_rectangle_list_destroy(clips);
/* skip drawing if not in the line number area. */
if (i >= gtk_text_view_get_border_window_size(text_view, GTK_TEXT_WINDOW_LEFT))
return FALSE;
gtk_text_view_window_to_buffer_coords (text_view,
GTK_TEXT_WINDOW_LEFT,
0,