diff options
| author | Rémi Verschelde | 2017-08-10 10:46:05 +0200 |
|---|---|---|
| committer | GitHub | 2017-08-10 10:46:05 +0200 |
| commit | 81dde2687f2f80f5f365a02d68913322d35e9be1 (patch) | |
| tree | 94f684c394768387b551492ab09dee2e64c9344b /editor/editor_plugin_settings.cpp | |
| parent | e93ce339dcdf4e9ade63286cfa04cdd4b5a8ecd4 (diff) | |
| parent | 273d2ab9d492fc6855302b69b7219a95f77644aa (diff) | |
| download | godot-81dde2687f2f80f5f365a02d68913322d35e9be1.tar.gz godot-81dde2687f2f80f5f365a02d68913322d35e9be1.tar.zst godot-81dde2687f2f80f5f365a02d68913322d35e9be1.zip | |
Merge pull request #10164 from djrm/pr_theme_fixes
Visual polishing
Diffstat (limited to 'editor/editor_plugin_settings.cpp')
| -rw-r--r-- | editor/editor_plugin_settings.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/editor/editor_plugin_settings.cpp b/editor/editor_plugin_settings.cpp index 63bee3309..712a3ac00 100644 --- a/editor/editor_plugin_settings.cpp +++ b/editor/editor_plugin_settings.cpp @@ -193,15 +193,16 @@ EditorPluginSettings::EditorPluginSettings() { plugin_list->set_column_expand(1, false); plugin_list->set_column_expand(2, false); plugin_list->set_column_expand(3, false); - plugin_list->set_column_min_width(1, 100); - plugin_list->set_column_min_width(2, 250); - plugin_list->set_column_min_width(3, 80); + plugin_list->set_column_min_width(1, 100 * EDSCALE); + plugin_list->set_column_min_width(2, 250 * EDSCALE); + plugin_list->set_column_min_width(3, 80 * EDSCALE); plugin_list->set_hide_root(true); plugin_list->connect("item_edited", this, "_plugin_activity_changed"); - MarginContainer *mc = memnew(MarginContainer); + VBoxContainer *mc = memnew(VBoxContainer); mc->add_child(plugin_list); mc->set_v_size_flags(SIZE_EXPAND_FILL); + mc->set_h_size_flags(SIZE_EXPAND_FILL); add_child(mc); |