diff options
author | Marvin Borner | 2021-04-21 14:55:29 +0200 |
---|---|---|
committer | Marvin Borner | 2021-04-21 14:55:29 +0200 |
commit | 825034a089901a58dd62b5a39f4c24761b6d5b4c (patch) | |
tree | b27b41756f022b13d29cb2b2f4b79ccad6894c79 | |
parent | bc2b93bdd1222ffed9ef21f8fadb7ca64a105ad9 (diff) |
fix
-rw-r--r-- | src/gui.c | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -198,6 +198,14 @@ static gboolean gui_key_press_handler(GtkWidget *widget, GdkEventKey *event, gpo } } + return FALSE; +} + +static gboolean gui_key_release_handler(GtkWidget *widget, GdkEventKey *event, gpointer data) +{ + UNUSED(widget); + UNUSED(data); + gui_call_syntax_highlighter(); return FALSE; @@ -225,7 +233,8 @@ static void gui_activate(GtkApplication *app, gpointer data) gtk_window_set_default_size(GTK_WINDOW(window), 400, 400); // Key press listener - g_signal_connect(window, "key_release_event", G_CALLBACK(gui_key_press_handler), NULL); + g_signal_connect(window, "key_press_event", G_CALLBACK(gui_key_press_handler), NULL); + g_signal_connect(window, "key_release_event", G_CALLBACK(gui_key_release_handler), NULL); // Main container GtkWidget *box = gtk_box_new(GTK_ORIENTATION_VERTICAL, 0); |