// 6 april 2015 #include "ui_unix.h" void uiMain(void) { gtk_main(); } void uiQuit(void) { gtk_main_quit(); }