diff options
| author |  waker <wakeroid@gmail.com> | 2013-08-04 19:33:23 +0200 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2013-08-04 19:33:23 +0200 |
| commit | 8c35b4124c5d1bb6d413b5ea672132c3ff69edad (patch) | |
| tree | 1d0c95402eb1efedca45db00b3fd15ffcf85b3dc /plugins/gtkui/gtkui.h | |
| parent | aa7b6ad5b0e94004a0e27007fcdf807baa34bce0 (diff) | |
gtkui: warn a user when he attempts to quit while background jobs are running
Diffstat (limited to 'plugins/gtkui/gtkui.h')
| -rw-r--r-- | plugins/gtkui/gtkui.h | 3 |
1 files changed, 3 insertions, 0 deletions
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 |