From 8c35b4124c5d1bb6d413b5ea672132c3ff69edad Mon Sep 17 00:00:00 2001 From: waker Date: Sun, 4 Aug 2013 19:33:23 +0200 Subject: gtkui: warn a user when he attempts to quit while background jobs are running --- plugins/gtkui/gtkui.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'plugins/gtkui/gtkui.h') diff --git a/plugins/gtkui/gtkui.h b/plugins/gtkui/gtkui.h index 0065bb21..3867cc19 100644 --- a/plugins/gtkui/gtkui.h +++ b/plugins/gtkui/gtkui.h @@ -167,4 +167,7 @@ gtkui_create_pltmenu (int plt_idx); void plt_get_title_wrapper (int plt, char *buffer, int len); +void +gtkui_quit (void); + #endif -- cgit v1.2.3