diff options
| author | Noshyaar <poommetee@protonmail.com> | 2017-12-28 07:01:41 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-28 07:01:41 +0700 |
| commit | 7f1265b41fc52def42c433e5d324070bc6454d6b (patch) | |
| tree | 7447ae3df28f9efff9142df0d33809407cbf2ad7 | |
| parent | cfd6bafec60c123a07477a3d0eb5c6545e0a82ed (diff) | |
| parent | fec41618dc919c70d6a8e6978080c0f0bba22020 (diff) | |
Merge pull request #15104 from djrm/pr_visual_improvements
Minor style fixes for editor help
| -rw-r--r-- | editor/editor_help.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/editor/editor_help.cpp b/editor/editor_help.cpp index 814da4b5f4..41bcc7a1ea 100644 --- a/editor/editor_help.cpp +++ b/editor/editor_help.cpp @@ -947,6 +947,7 @@ Error EditorHelp::_goto_desc(const String &p_class, int p_vscr) { class_desc->pop(); class_desc->pop(); + class_desc->push_font(doc_code_font); class_desc->push_indent(1); class_desc->push_table(2); class_desc->set_table_column_expand(1, 1); @@ -1002,6 +1003,7 @@ Error EditorHelp::_goto_desc(const String &p_class, int p_vscr) { class_desc->pop(); //table class_desc->pop(); + class_desc->pop(); // font class_desc->add_newline(); class_desc->add_newline(); } @@ -1072,6 +1074,7 @@ Error EditorHelp::_goto_desc(const String &p_class, int p_vscr) { class_desc->pop(); class_desc->add_newline(); + class_desc->add_newline(); class_desc->push_indent(1); @@ -1393,7 +1396,9 @@ Error EditorHelp::_goto_desc(const String &p_class, int p_vscr) { for (int i = 0; i < methods.size(); i++) { + class_desc->push_font(doc_code_font); _add_method(methods[i], false); + class_desc->pop(); class_desc->add_newline(); class_desc->push_color(text_color); |