comparison src/main.h @ 386:0226daf8c30b

in debug mode print time information on selected events
author nadvornik
date Wed, 16 Apr 2008 20:15:42 +0000
parents a51242c032ea
children 9e521adbf312
comparison
equal deleted inserted replaced
385:2c06e06f4236 386:0226daf8c30b
135 void window_set_icon(GtkWidget *window, const gchar *icon, const gchar *file); 135 void window_set_icon(GtkWidget *window, const gchar *icon, const gchar *file);
136 gint window_maximized(GtkWidget *window); 136 gint window_maximized(GtkWidget *window);
137 137
138 gdouble get_zoom_increment(void); 138 gdouble get_zoom_increment(void);
139 139
140 const gchar *get_exec_time();
141
140 void help_window_show(const gchar *key); 142 void help_window_show(const gchar *key);
141 143
142 void keyboard_scroll_calc(gint *x, gint *y, GdkEventKey *event); 144 void keyboard_scroll_calc(gint *x, gint *y, GdkEventKey *event);
143 gint key_press_cb(GtkWidget *widget, GdkEventKey *event, gpointer data); 145 gint key_press_cb(GtkWidget *widget, GdkEventKey *event, gpointer data);
144 void exit_program(void); 146 void exit_program(void);