36#include "external_includes.h"
38#include "player_window.h"
40#define UI_DEFAULT_WIDTH 650
41#define UI_DEFAULT_HEIGHT 420
46void ui_set_browser_directory(
ui_state *ui,
const gchar *directory);
47const gchar *ui_get_browser_directory(
ui_state *ui);
49void ui_set_main_win_position(
ui_state *ui, gint x, gint y);
50void ui_set_main_win_size(
ui_state *ui, gint width, gint height);
53void 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);
58void 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);
63void ui_load_preferences(
ui_state *ui);
64void ui_save_preferences(GtkWidget *dummy_widget,
ui_state *ui);
66void ui_fail(
ui_state *ui,
const gchar *message, ...);