app-manager/app-manager.c
changeset 37 99d80cbe2eb4
parent 24 2b9f54d14cc2
child 38 a29623b68ca2
     1.1 --- a/app-manager/app-manager.c	Sat Nov 15 19:04:45 2014 +0000
     1.2 +++ b/app-manager/app-manager.c	Mon Apr 18 15:04:47 2016 +0100
     1.3 @@ -27,6 +27,7 @@
     1.4  #include <gio/gio.h>
     1.5  #include <gtk/gtk.h>
     1.6  #include <whelk/whelk.h>
     1.7 +#include <plover/plover.h>
     1.8  #include <plover/packageset.h>
     1.9  #include <plover-gtk/stockicons.h>
    1.10  #include "app-manager.h"
    1.11 @@ -244,6 +245,7 @@
    1.12  	ShowWindow(GetConsoleWindow(),SW_HIDE);
    1.13      }
    1.14  #endif
    1.15 +    plover_exception_handler_init();
    1.16      razor_set_lua_loader("posix",luaopen_posix);
    1.17      razor_set_lua_loader("whelk",luaopen_whelk);
    1.18      if (!gtk_init_with_args(&argc,&argv,NULL,options,NULL,&err))