void finishWorldResize() { workspace.patchesCreatedNotify(); gWidget.resetSize(); workspace.clearDrawing(); }