mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-11-27 09:16:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #30594 from Anutrix/editor-help-font-fix

Browse Source 
Fixed editor_doc properties font alignment bug
This commit is contained in:
Rémi Verschelde 2019-07-15 16:39:51 +02:00 committed by GitHub
commit 7599f20c2e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
editor/editor_help.cpp
View File

@ -444,6 +444,7 @@ void EditorHelp::_update_doc() {
class_desc->pop();
class_desc->add_newline();
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);
@ -509,6 +510,7 @@ void EditorHelp::_update_doc() {
class_desc->pop(); //table
class_desc->pop();
class_desc->pop(); // font
class_desc->add_newline();
class_desc->add_newline();
}