void remove_project_from_workspace()
void add_project_to_workspace()
add project(s) to the workspace tree
void correct_this_window_title(GtkWidget *win, gchar *str)
use new title for GtkWindow, providing it exists
G_MODULE_EXPORT void activate_project(GtkWidget *widg, gpointer data)
activate a project
char * work_menu_items[NITEMS-2]
G_MODULE_EXPORT void change_project_name(GtkWidget *wid, gpointer edata)
change project name