X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=gui.c;h=a3c07ec796bd9d179ef633b3d81d91c14b42c834;hp=3c1889ca51ae44fa89fdea7999aad0dcd31dcb33;hb=4a4d8f266a79275d7b2c902dc69b5ec8d46406b2;hpb=290d89f17769d1ad8fe9abb5e432939268f74f1a diff --git a/gui.c b/gui.c index 3c1889ca..a3c07ec7 100644 --- a/gui.c +++ b/gui.c @@ -9,7 +9,6 @@ #include #include #include -#include #include #include "gui.cmdline.h" @@ -22,6 +21,7 @@ #include "list.h" #include "sched.h" #include "signal.h" +#include "version.h" /** define the array of error lists needed by para_gui */ INIT_GUI_ERRLISTS; @@ -99,7 +99,7 @@ static void com_reread_conf(void); static void com_enlarge_top_win(void); static void com_shrink_top_win(void); static void com_version(void); -static void com_quit(void); +__noreturn static void com_quit(void); static void com_refresh(void); static void com_ll_incr(void); static void com_ll_decr(void);