diff options
| author | Tomasz Chabora <kobewi4e@gmail.com> | 2019-11-12 16:23:30 +0100 |
|---|---|---|
| committer | Tomasz Chabora <kobewi4e@gmail.com> | 2019-11-12 16:23:53 +0100 |
| commit | 1369e0097340204104b2ffb522c756bde5301508 (patch) | |
| tree | 59ce6e1dc2d5688f5801010e7a01d68e32ca97a1 /editor/plugins | |
| parent | 62a09a2ee351430f9d55eee337691958e877cc68 (diff) | |
Properly handle zoom when opening tileset editor
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/tile_set_editor_plugin.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/plugins/tile_set_editor_plugin.cpp b/editor/plugins/tile_set_editor_plugin.cpp index cc4c21cc04..a8cf5b46e1 100644 --- a/editor/plugins/tile_set_editor_plugin.cpp +++ b/editor/plugins/tile_set_editor_plugin.cpp @@ -3235,8 +3235,8 @@ void TileSetEditor::update_workspace_minsize() { delete tiles; workspace->set_custom_minimum_size(workspace_min_size + WORKSPACE_MARGIN * 2); - workspace_container->set_custom_minimum_size(workspace_min_size + WORKSPACE_MARGIN * 2); - workspace_overlay->set_custom_minimum_size(workspace_min_size + WORKSPACE_MARGIN * 2); + workspace_container->set_custom_minimum_size(workspace_min_size * workspace->get_scale() + WORKSPACE_MARGIN * 2); + workspace_overlay->set_custom_minimum_size(workspace_min_size * workspace->get_scale() + WORKSPACE_MARGIN * 2); } void TileSetEditor::update_edited_region(const Vector2 &end_point) { |