diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-08-01 10:56:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-01 10:56:56 +0200 |
commit | 87e8444499931b574869dc04c49367eb6e91e848 (patch) | |
tree | 9c026124f72f359c832f001ae5ebd1c02172af73 | |
parent | 0b595f94c47a9144dbe9c200a8057558b0c4f839 (diff) | |
parent | ae1267d41cf15d9a5b40a4d2525f2cb151f6b17d (diff) |
Merge pull request #5996 from hurikhan/editor_help_indentation
Fix help page title indentation
-rw-r--r-- | tools/editor/editor_help.cpp | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/tools/editor/editor_help.cpp b/tools/editor/editor_help.cpp index 1fc157098c..4ab86ad512 100644 --- a/tools/editor/editor_help.cpp +++ b/tools/editor/editor_help.cpp @@ -943,10 +943,9 @@ Error EditorHelp::_goto_desc(const String& p_class,int p_vscr) { class_desc->add_newline(); } - class_desc->add_newline(); - class_desc->pop(); - + class_desc->pop(); + class_desc->add_newline(); } if (cd.theme_properties.size()) { @@ -987,11 +986,10 @@ Error EditorHelp::_goto_desc(const String& p_class,int p_vscr) { class_desc->add_newline(); } - class_desc->add_newline(); class_desc->pop(); - - + class_desc->add_newline(); } + if (cd.signals.size()) { if (sort_methods) { |