|
@@ -3235,8 +3235,8 @@ void TileSetEditor::update_workspace_minsize() {
|
|
delete tiles;
|
|
delete tiles;
|
|
|
|
|
|
workspace->set_custom_minimum_size(workspace_min_size + WORKSPACE_MARGIN * 2);
|
|
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) {
|
|
void TileSetEditor::update_edited_region(const Vector2 &end_point) {
|