diff options
Diffstat (limited to 'src/experiment-player.h')
| -rw-r--r-- | src/experiment-player.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/experiment-player.h b/src/experiment-player.h index 5797801..1d9f8a2 100644 --- a/src/experiment-player.h +++ b/src/experiment-player.h @@ -4,9 +4,9 @@ #include <gtk/gtk.h> gboolean load_media_file(const gchar *file); -void show_message_dialog_gerror(GError *err); +gboolean load_transcript_file(const gchar *file); -extern GtkWidget *player_window; +void show_message_dialog_gerror(GError *err); extern GtkWidget *player_widget, *controls_hbox, @@ -14,6 +14,9 @@ extern GtkWidget *player_widget, *playpause_button, *volume_button; +extern GtkWidget *navigator_scrolledwindow, + *navigator_widget; + extern gchar *current_filename; void refresh_quickopen_menu(GtkMenu *menu); |