From 99ceddd11ef652a3b8e6bf5d09dcc519d957ce14 Mon Sep 17 00:00:00 2001 From: Juan Linietsky Date: Thu, 5 Jan 2017 19:41:36 -0300 Subject: Editor settings categories are now tidy and beautiful! --- tools/editor/plugins/script_editor_plugin.cpp | 72 +++++++++++++-------------- 1 file changed, 36 insertions(+), 36 deletions(-) (limited to 'tools/editor/plugins/script_editor_plugin.cpp') diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index d441fa7a1..b3d86817c 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -672,7 +672,7 @@ bool ScriptEditor::_test_script_times_on_disk(Ref