diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-20 16:18:34 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-20 16:18:34 +0100 |
commit | 6e1b689b47682477121b8fccb0ed751ede91cfc9 (patch) | |
tree | 5f44814e57b998f61812f095dec266630034ebfc | |
parent | e7eb3327990a189884df53796c67a99fc119bd38 (diff) | |
parent | e80d7d2a910e02375d6cb8500dcd74c8ae22a5a9 (diff) |
Merge pull request #3394 from godotengine/wider-script-panel
Wider initial size of the panel with scripts
-rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index 1e16f32e6e..76e4af5f16 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -2329,7 +2329,7 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) { script_list = memnew( ItemList ); script_split->add_child(script_list); script_list->set_custom_minimum_size(Size2(0,0)); - script_split->set_split_offset(70); + script_split->set_split_offset(140); tab_container = memnew( TabContainer ); tab_container->set_tabs_visible(false); |