//Menu Items
-void save_graph_clicked(GtkWidget * widget, gpointer user_data)
-{
- (void)widget;
- (void)user_data;
-
- if (view->activeGraph > -1)
- save_graph_with_file_name(view->g[view->activeGraph], NULL);
-}
-
void save_as_graph_clicked(GtkWidget * widget, gpointer user_data)
{
(void)widget;
#define _BB
#endif
- _BB void save_graph_clicked(GtkWidget * widget, gpointer user_data);
_BB void save_as_graph_clicked(GtkWidget * widget, gpointer user_data);
_BB void remove_graph_clicked(GtkWidget * widget, gpointer user_data);
void on_newNode(GtkWidget * button, gpointer user_data);