mirror of
https://github.com/godotengine/godot.git
synced 2025-11-10 02:21:15 +00:00
Improve bookmarks
This commit is contained in:
parent
da617b7943
commit
e12b482022
6 changed files with 157 additions and 31 deletions
|
|
@ -46,6 +46,7 @@ private:
|
|||
MenuButton *edit_menu;
|
||||
PopupMenu *highlighter_menu;
|
||||
MenuButton *search_menu;
|
||||
MenuButton *bookmarks_menu;
|
||||
PopupMenu *context_menu;
|
||||
|
||||
GotoLineDialog *goto_line_dialog;
|
||||
|
|
@ -110,6 +111,9 @@ protected:
|
|||
|
||||
void _validate_script();
|
||||
|
||||
void _update_bookmark_list();
|
||||
void _bookmark_item_pressed(int p_idx);
|
||||
|
||||
public:
|
||||
virtual void add_syntax_highlighter(SyntaxHighlighter *p_highlighter);
|
||||
virtual void set_syntax_highlighter(SyntaxHighlighter *p_highlighter);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue