diff options
| author | Juan Linietsky | 2015-11-17 09:46:08 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2015-11-17 09:46:08 -0300 |
| commit | 081a236c6739e7f6d45731ec0c002d2269f2367b (patch) | |
| tree | eab0838c2ccd8fd8e997aaf151a5ca9e15c5a06a /tools/editor/code_editor.cpp | |
| parent | 8420c24f7f35cdd7adbc7d4595cb1756020ab127 (diff) | |
| download | godot-081a236c6739e7f6d45731ec0c002d2269f2367b.tar.gz godot-081a236c6739e7f6d45731ec0c002d2269f2367b.tar.zst godot-081a236c6739e7f6d45731ec0c002d2269f2367b.zip | |
-Merged Script and Help tabs
-Help tabs can be opened many at the same time
-Color temperatures for opened scripts
-Dominant script opening when switching scene tab
Diffstat (limited to 'tools/editor/code_editor.cpp')
| -rw-r--r-- | tools/editor/code_editor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/editor/code_editor.cpp b/tools/editor/code_editor.cpp index 2ed03a185..685763cad 100644 --- a/tools/editor/code_editor.cpp +++ b/tools/editor/code_editor.cpp @@ -618,7 +618,7 @@ CodeTextEditor::CodeTextEditor() { line_col = memnew( Label ); add_child(line_col); line_col->set_anchor_and_margin(MARGIN_LEFT,ANCHOR_END,135); - line_col->set_anchor_and_margin(MARGIN_TOP,ANCHOR_END,20); + line_col->set_anchor_and_margin(MARGIN_TOP,ANCHOR_END,15); line_col->set_anchor_and_margin(MARGIN_BOTTOM,ANCHOR_END,1); line_col->set_anchor_and_margin(MARGIN_RIGHT,ANCHOR_END,5); //line_col->set_align(Label::ALIGN_RIGHT); @@ -637,7 +637,7 @@ CodeTextEditor::CodeTextEditor() { error = memnew( Label ); add_child(error); error->set_anchor_and_margin(MARGIN_LEFT,ANCHOR_BEGIN,5); - error->set_anchor_and_margin(MARGIN_TOP,ANCHOR_END,20); + error->set_anchor_and_margin(MARGIN_TOP,ANCHOR_END,15); error->set_anchor_and_margin(MARGIN_BOTTOM,ANCHOR_END,1); error->set_anchor_and_margin(MARGIN_RIGHT,ANCHOR_END,130); error->hide(); |