36 #include "external_includes.h"
38 #include "player_window.h"
40 #define UI_DEFAULT_WIDTH 650
41 #define UI_DEFAULT_HEIGHT 420
46 void ui_set_browser_directory(
ui_state *ui,
const gchar *directory);
47 const gchar *ui_get_browser_directory(
ui_state *ui);
49 void ui_set_main_win_position(
ui_state *ui, gint x, gint y);
50 void ui_set_main_win_size(
ui_state *ui, gint width, gint height);
53 void ui_register_spinner_int_preference(gchar *main_key, gchar *second_key,
54 gint default_value, GtkWidget *spinner,
55 void (*update_spinner_value_cb)(GtkWidget *spinner, gpointer data),
56 gpointer user_data_for_cb,
ui_state *ui);
58 void ui_register_range_preference(gchar *main_key, gchar *second_key,
59 gint default_value, GtkWidget *range,
60 void (*update_adjustment_value)(GtkAdjustment *adjustment, gpointer user_data),
61 gpointer user_data_for_cb,
ui_state *ui);
63 void ui_load_preferences(
ui_state *ui);
64 void ui_save_preferences(GtkWidget *dummy_widget,
ui_state *ui);
66 void ui_fail(
ui_state *ui,
const gchar *message, ...);