Esempio n. 1
0
 void finishWorldResize() {
   workspace.patchesCreatedNotify();
   gWidget.resetSize();
   workspace.clearDrawing();
 }