gboolean gui_workspace_open(char *filename);
gboolean gui_workspace_save(char *filename);

void gui_workspace_open_cb(GtkWidget *menu_item, guint param);
void gui_workspace_openrecent_cb(GtkWidget *menu, char *filename);
void gui_workspace_save_cb(GtkWidget *menu_item, guint param);
void gui_workspace_save_as_cb(GtkWidget *menu_item, guint param);
void gui_workspace_close_cb(GtkWidget *menu_item, guint param);