diff options
| author | SoniEx2 <endermoneymod@gmail.com> | 2022-04-21 21:09:17 -0300 |
|---|---|---|
| committer | SoniEx2 <endermoneymod@gmail.com> | 2022-04-21 21:09:17 -0300 |
| commit | df9dc2cb77720b9b78ad87559657c14874d0b676 (patch) | |
| tree | a4a1f2e7edcddddf24cfaf0f47818769df2ac9db /src/fe-gtk/maingui.c | |
| parent | 5f137d2c81878c41aa3b893fb56b1116bc27bc78 (diff) | |
Do not allow plugins to eat Close Context
These are used for clean-up and letting them be eaten may lead to plugins getting confused about which data belong to which contexts.
Diffstat (limited to 'src/fe-gtk/maingui.c')
| -rw-r--r-- | src/fe-gtk/maingui.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/fe-gtk/maingui.c b/src/fe-gtk/maingui.c index 61f59856..3e62da15 100644 --- a/src/fe-gtk/maingui.c +++ b/src/fe-gtk/maingui.c @@ -963,7 +963,7 @@ mg_populate (session *sess) mg_set_topic_tip (sess); - plugin_emit_dummy_print (sess, "Focus Tab"); + plugin_emit_dummy_print (sess, "Focus Tab", -1); } void @@ -3081,7 +3081,7 @@ mg_tabwin_focus_cb (GtkWindow * win, GdkEventFocus *event, gpointer userdata) if (current_sess) { gtk_xtext_check_marker_visibility (GTK_XTEXT (current_sess->gui->xtext)); - plugin_emit_dummy_print (current_sess, "Focus Window"); + plugin_emit_dummy_print (current_sess, "Focus Window", -1); } unflash_window (GTK_WIDGET (win)); return FALSE; @@ -3095,7 +3095,7 @@ mg_topwin_focus_cb (GtkWindow * win, GdkEventFocus *event, session *sess) sess->server->server_session = sess; gtk_xtext_check_marker_visibility(GTK_XTEXT (current_sess->gui->xtext)); unflash_window (GTK_WIDGET (win)); - plugin_emit_dummy_print (sess, "Focus Window"); + plugin_emit_dummy_print (sess, "Focus Window", -1); return FALSE; } |