mirror of
https://github.com/godotengine/godot.git
synced 2025-10-20 00:13:30 +00:00
Remove duplicate editor settings definitions
This commit is contained in:
parent
92615be68c
commit
2057ea2883
20 changed files with 48 additions and 51 deletions
|
@ -521,7 +521,7 @@ void ScriptTextEditor::_update_errors() {
|
|||
errors_panel->pop(); // Table
|
||||
|
||||
CodeEdit *te = code_editor->get_text_editor();
|
||||
bool highlight_safe = EDITOR_DEF("text_editor/appearance/gutters/highlight_type_safe_lines", true);
|
||||
bool highlight_safe = EDITOR_GET("text_editor/appearance/gutters/highlight_type_safe_lines");
|
||||
bool last_is_safe = false;
|
||||
for (int i = 0; i < te->get_line_count(); i++) {
|
||||
if (errors.is_empty()) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue