diff options
Diffstat (limited to 'plugins/gtkui/gtkui.c')
| -rw-r--r-- | plugins/gtkui/gtkui.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/gtkui/gtkui.c b/plugins/gtkui/gtkui.c index 5e2cbd2f..a3cca159 100644 --- a/plugins/gtkui/gtkui.c +++ b/plugins/gtkui/gtkui.c @@ -772,6 +772,7 @@ gtkui_message (uint32_t id, uintptr_t ctx, uint32_t p1, uint32_t p2) { if (rootwidget) { send_messages_to_widgets (rootwidget, id, ctx, p1, p2); } + gtkui_cover_message (id, ctx, p1, p2); switch (id) { case DB_EV_ACTIVATED: g_idle_add (activate_cb, NULL); |