gboolean handle_edit_mouse_button_release(GdkEventButton *ev)
gboolean handle_edit_key_press(GdkEventKey *ev)
void editgui_create_widgets(void)
gboolean handle_edit_mouse_button_press(GdkEventButton *ev)
struct editinfobox * editgui_get_editinfobox(void)
gboolean handle_edit_mouse_move(GdkEventMotion *ev)
struct editbar * editgui_get_editbar(void)
GtkWidget * tool_buttons[NUM_EDITOR_TOOL_TYPES]
GtkWidget * player_pov_combobox
GtkListStore * player_pov_store
GtkSizeGroup * size_group
GtkWidget * mode_buttons[NUM_EDITOR_TOOL_MODES]
struct tool_value_selector * tool_selectors[NUM_EDITOR_TOOL_TYPES]
GtkListStore * tool_applied_player_store
GtkWidget * size_spin_button
GtkWidget * tool_applied_player_combobox
GtkWidget * tool_value_label
GtkWidget * count_spin_button