You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-06 12:20:30 +00:00
scrolling fixes
This commit is contained in:
@@ -93,6 +93,7 @@ class ScriptTextEditor : public ScriptEditorBase {
|
||||
EDIT_CAPITALIZE,
|
||||
EDIT_FOLD_LINE,
|
||||
EDIT_UNFOLD_LINE,
|
||||
EDIT_FOLD_ALL_LINES,
|
||||
EDIT_UNFOLD_ALL_LINES,
|
||||
SEARCH_FIND,
|
||||
SEARCH_FIND_NEXT,
|
||||
@@ -121,7 +122,7 @@ protected:
|
||||
static void _bind_methods();
|
||||
|
||||
void _edit_option(int p_op);
|
||||
void _make_context_menu(bool p_selection, bool p_color, int p_fold_state);
|
||||
void _make_context_menu(bool p_selection, bool p_color, bool p_can_fold, bool p_is_folded);
|
||||
void _text_edit_gui_input(const Ref<InputEvent> &ev);
|
||||
void _color_changed(const Color &p_color);
|
||||
|
||||
|
||||
Reference in New Issue
Block a user