filename | src/gui/gtkui.h |
changeset | 437:2c259474b474 |
prev | 435:7a5d71e8560b |
next | 447:3e095bfcb476 |
author | nkeynes |
date | Thu Oct 11 08:22:03 2007 +0000 (15 years ago) |
permissions | -rw-r--r-- |
last change | Add speed meter to main window Add sunken border around video area Add debugger menu item Move logging out to util.c |
file | annotate | diff | log | raw |
1.1 --- a/src/gui/gtkui.h Wed Oct 10 11:02:04 2007 +00001.2 +++ b/src/gui/gtkui.h Thu Oct 11 08:22:03 2007 +00001.3 @@ -1,5 +1,5 @@1.4 /**1.5 - * $Id: gtkui.h,v 1.1 2007-10-10 11:02:04 nkeynes Exp $1.6 + * $Id: gtkui.h,v 1.2 2007-10-11 08:22:03 nkeynes Exp $1.7 *1.8 * Core GTK-based user interface1.9 *1.10 @@ -38,6 +38,7 @@1.11 GtkWidget *main_window_get_renderarea( main_window_t win );1.12 void main_window_set_running( main_window_t win, gboolean running );1.13 void main_window_set_framerate( main_window_t win, float rate );1.14 +void main_window_set_speed( main_window_t win, double speed );1.16 debug_window_t debug_window_new();1.18 @@ -62,6 +63,7 @@1.19 void load_state_action_callback( GtkAction *action, gpointer user_data);1.20 void save_state_action_callback( GtkAction *action, gpointer user_data);1.21 void about_action_callback( GtkAction *action, gpointer user_data);1.22 +void debugger_action_callback( GtkAction *action, gpointer user_data);1.23 void exit_action_callback( GtkAction *action, gpointer user_data);1.25 void audio_settings_callback( GtkAction *action, gpointer user_data);
.