Searched refs:external_code_editor_ (Results 1 – 3 of 3) sorted by relevance
151 variant external_code_editor_; variable703 external_code_editor_ = node["code_editor"]; in load_preferences()737 if(external_code_editor_.is_null() == false) { in save_preferences()738 node.add("code_editor", external_code_editor_); in save_preferences()938 return external_code_editor_; in external_code_editor()
798 if(preferences::external_code_editor().is_null() == false && !external_code_editor_) { in editor()799 external_code_editor_ = external_text_editor::create(preferences::external_code_editor()); in editor()1121 if(external_code_editor_) { in process()1122 external_code_editor_->process(); in process()1129 …if(external_code_editor_ && external_code_editor_->replace_in_game_editor() && editor_menu_dialog_… in process()3628 if(external_code_editor_ && external_code_editor_->replace_in_game_editor()) { in edit_shaders()3631 external_code_editor_->load_file(path); in edit_shaders()3734 if(external_code_editor_ && external_code_editor_->replace_in_game_editor()) { in toggle_code()3751 external_code_editor_->load_file(*path); in toggle_code()
310 external_text_editor_ptr external_code_editor_; member in editor