Merge pull request #15104 from djrm/pr_visual_improvements

Minor style fixes for editor help
This commit is contained in:
Noshyaar 2017-12-28 07:01:41 +07:00 committed by GitHub
commit 7f1265b41f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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();
}
@ -1071,6 +1073,7 @@ Error EditorHelp::_goto_desc(const String &p_class, int p_vscr) {
class_desc->pop();
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);