Searched refs:editor_menu_dialog_ (Results 1 – 2 of 2) sorted by relevance
298 boost::scoped_ptr<editor_menu_dialog> editor_menu_dialog_; member in editor
793 editor_menu_dialog_.reset(new editor_menu_dialog(*this)); in editor()1046 if(editor_menu_dialog_->process_event(event, false)) { in handle_event()1129 …if(external_code_editor_ && external_code_editor_->replace_in_game_editor() && editor_menu_dialog_… in process()1135 editor_menu_dialog_->set_code_button_text("edit " + type); in process()1137 editor_menu_dialog_->set_code_button_text(""); in process()1385 if(editor_menu_dialog_ && editor_mode_dialog_) { in reset_dialog_positions()1386 …editor_menu_dialog_->set_dim(preferences::actual_screen_width() - editor_mode_dialog_->width(), ed… in reset_dialog_positions()1579 editor_menu_dialog_->open_level(); in handle_key_press()3383 editor_menu_dialog_->draw(); in draw_gui()