gui/menu.h

   1
   2 void zoom_in_event(gpointer priv);
   3 void zoom_out_event(gpointer priv);
   4 void palette_event(gpointer priv);
   5 void colorize_event(gpointer priv);
   6 void undo_event(gpointer priv);
   7 void redo_event(gpointer priv);
   8 void copy_event(gpointer priv);
   9 void paste_event(gpointer priv);
  10 void create_menus(GtkWidget *menu_bar);
  11 void set_menu_toggel_by_label(enum toggle_label label, gboolean active);
  12
  13