path: root/src/fe-gtk/plugingui.h

void plugingui_open (void);
void plugingui_load (void);