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

Fix theming update of shader editor

Browse Source
This commit is contained in:
Yuri Roubinsky
2022-01-19 08:31:39 +03:00
parent 30701e3966
commit 050f746e19
5 changed files with 66 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
editor/plugins/script_text_editor.h
View File

@@ -62,6 +62,9 @@ class ScriptTextEditor : public ScriptEditorBase {
bool editor_enabled = false;
Vector<String> functions;
List<ScriptLanguage::Warning> warnings;
List<ScriptLanguage::ScriptError> errors;
Set<int> safe_lines;
List<Connection> missing_connections;
@@ -154,6 +157,8 @@ protected:
void _breakpoint_toggled(int p_row);
void _validate_script(); // No longer virtual.
void _update_warnings();
void _update_errors();
void _update_bookmark_list();
void _bookmark_item_pressed(int p_idx);