godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-06 12:20:30 +00:00
Code Releases Wiki Activity

Merge pull request #29071 from YeldhamDev/improve_bookmarks

Browse Source 
Improve bookmarks
This commit is contained in:
Rémi Verschelde
2019-07-01 16:34:17 +02:00
committed by GitHub
parent 08200cb9f5 e12b482022
commit f5d9454a4b
6 changed files with 157 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
editor/plugins/script_text_editor.h
View File

@@ -70,6 +70,7 @@ class ScriptTextEditor : public ScriptEditorBase {
MenuButton *edit_menu;
MenuButton *search_menu;
MenuButton *bookmarks_menu;
PopupMenu *highlighter_menu;
PopupMenu *context_menu;
@@ -144,8 +145,9 @@ protected:
static void _code_complete_scripts(void *p_ud, const String &p_code, List<String> *r_options, bool &r_force);
void _breakpoint_toggled(int p_row);
//no longer virtual
void _validate_script();
void _validate_script(); // No longer virtual.
void _update_bookmark_list();
void _bookmark_item_pressed(int p_idx);
void _code_complete_script(const String &p_code, List<String> *r_options, bool &r_force);
void _load_theme_settings();
void _set_theme_for_script();