Merge pull request #8631 from volzhs/editor-theme-custom

New customizable editor theme
This commit is contained in:
Rémi Verschelde 2017-05-20 07:16:11 +02:00 committed by GitHub
commit 231511b2a6
241 changed files with 1683 additions and 4375 deletions

View file

@ -754,6 +754,7 @@ ProjectExportDialog::ProjectExportDialog() {
settings_vb->add_child(runnable);
sections = memnew(TabContainer);
sections->set_tab_align(TabContainer::ALIGN_LEFT);
settings_vb->add_child(sections);
sections->set_v_size_flags(SIZE_EXPAND_FILL);