diff -r a24465cc7262 -r 6dd780cbc8c6 ui/gtk/toolkit.h
--- a/ui/gtk/toolkit.h	Sun Jan 15 15:08:07 2017 +0100
+++ b/ui/gtk/toolkit.h	Sun Jan 22 11:16:21 2017 +0100
@@ -55,6 +55,9 @@
 typedef enum UiOrientation UiOrientation;
 enum UiOrientation { UI_HORIZONTAL = 0, UI_VERTICAL };
 
+void ui_app_quit();
+GtkApplication* ui_get_application();
+
 void ui_destroy_userdata(GtkWidget *object, void *userdata);
 
 void ui_set_active_window(UiObject *obj);