class ControlWindow

Public Types

• enum displayed_t { NO_WIDGETS, DEBUG_WIDGETS, REPLAY_WIDGETS }

Public Methods

•  ControlWindow ( const int default_width = -1, const int default_height = -1, const int default_x_pos = -1, const int default_y_pos = -1 )
•  ~ControlWindow ()
• void  set_window_title ( const String& text )
• void  remove_replay_widgets ()
• void  clear_extra_widgets ()
• void  display_debug_widgets ()
• void  display_replay_widgets ()
• void  open_replay_filesel ()
• displayed_t  get_displayed ()
• GtkWidget*  get_filesel ()
• GtkWidget*  get_window_p ()
• bool  is_arenawindow_checked ()
• bool  is_messagewindow_checked ()
• bool  is_scorewindow_checked ()
• GtkWidget*  get_show_arena_menu_item ()
• GtkWidget*  get_show_message_menu_item ()
• GtkWidget*  get_show_score_menu_item ()
• void  set_filesel ( GtkWidget* fs )
• void  set_progress_time ( const double time )
• void  change_time_limitations ()

Public Static Methods

• static void  delete_event_occured ( GtkWidget* widget, GdkEvent* event, class ControlWindow* cw_p )
• static void  quit_rtb ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  pause ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  step ( GtkWidget* widget, gpointer data )
• static void  end_game ( GtkWidget* widget, gpointer data )
• static void  kill_robot ( GtkWidget* widget, gpointer data )
• static void  change_debug_level ( GtkAdjustment *adj, class ControlWindow* cw_p )
• static void  end_clicked ( GtkWidget* widget, gpointer data )
• static void  end_tournament ( int result )
• static void  options_clicked ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  statistics_clicked ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  new_tournament ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  replay_tournament ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  arena_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  message_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  score_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  replay ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  rewind_pressed ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  rewind_released ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  fast_forward_pressed ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  fast_forward_released ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  step_forward ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  step_backward ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  next_game ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  prev_game ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  next_seq ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  prev_seq ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  dummy ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  change_current_replay_time ( GtkAdjustment *adj, class ControlWindow* cw_p )
• static void  destroy_filesel ( GtkWidget* widget, class ControlWindow* cw_p )
• static void  kill_and_open_filesel ( int result )

Private Methods

•  ControlWindow ( const int default_width, const int default_height, const int default_x_pos, const int default_y_pos )
• void  remove_replay_widgets ()
• void  clear_extra_widgets ()
• void  display_debug_widgets ()
• void  display_replay_widgets ()
• void  change_time_limitations ()
•  ~ControlWindow ()
• void  set_window_title ( const String& text)
• void  delete_event_occured ( GtkWidget* widget, GdkEvent* event, class ControlWindow* cw_p )
• void  quit_rtb ( GtkWidget* widget, class ControlWindow* cw_p )
• void  pause ( GtkWidget* widget, class ControlWindow* cw_p )
• void  step ( GtkWidget* widget, gpointer data )
• void  end_game ( GtkWidget* widget, gpointer data )
• void  kill_robot ( GtkWidget* widget, gpointer data )
• void  change_debug_level ( GtkAdjustment *adj, class ControlWindow* cw_p )
• void  new_tournament ( GtkWidget* widget, class ControlWindow* cw_p )
• void  replay_tournament ( GtkWidget* widget, class ControlWindow* cw_p )
• void  open_replay_filesel ()
• void  kill_and_open_filesel ( int result )
• void  arena_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• bool  is_arenawindow_checked ()
• void  message_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• bool  is_messagewindow_checked ()
• void  score_window_toggle ( GtkWidget* widget, class ControlWindow* cw_p )
• bool  is_scorewindow_checked ()
• void  replay ( GtkWidget* widget, class ControlWindow* cw_p )
• void  destroy_filesel ( GtkWidget* widget, class ControlWindow* cw_p )
• void  end_clicked ( GtkWidget* widget, gpointer data )
• void  end_tournament ( int result )
• void  options_clicked ( GtkWidget* widget, class ControlWindow* cw_p )
• void  statistics_clicked ( GtkWidget* widget, class ControlWindow* cw_p )
• void  rewind_pressed ( GtkWidget* widget, class ControlWindow* cw_p )
• void  rewind_released ( GtkWidget* widget, class ControlWindow* cw_p )
• void  fast_forward_pressed ( GtkWidget* widget, class ControlWindow* cw_p )
• void  fast_forward_released ( GtkWidget* widget, class ControlWindow* cw_p )
• void  step_forward ( GtkWidget* widget, class ControlWindow* cw_p )
• void  step_backward ( GtkWidget* widget, class ControlWindow* cw_p )
• void  next_game ( GtkWidget* widget, class ControlWindow* cw_p )
• void  prev_game ( GtkWidget* widget, class ControlWindow* cw_p )
• void  next_seq ( GtkWidget* widget, class ControlWindow* cw_p )
• void  prev_seq ( GtkWidget* widget, class ControlWindow* cw_p )
• void  change_current_replay_time ( GtkAdjustment *adj, class ControlWindow* cw_p )
• void  set_progress_time ( const double time )

Private Members

• GtkWidget* window_p
• GtkWidget* debug_level
• GtkWidget* filesel
• GtkWidget* window_hbox
• GtkWidget* vseparator
• GtkWidget* extra_vbox
• GtkWidget* show_arena_menu_item
• GtkWidget* show_message_menu_item
• GtkWidget* show_score_menu_item
• GtkWidget* time_control
• GtkAdjustment* current_replay_time_adjustment
• displayed_t displayed

Detailed Description

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[static]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]

[private]