diff 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
line wrap: on
line diff
--- a/src/main.h	Wed Apr 16 18:57:50 2008 +0000
+++ b/src/main.h	Wed Apr 16 20:15:42 2008 +0000
@@ -137,6 +137,8 @@
 
 gdouble get_zoom_increment(void);
 
+const gchar *get_exec_time();
+
 void help_window_show(const gchar *key);
 
 void keyboard_scroll_calc(gint *x, gint *y, GdkEventKey *event);