Ah, finally fixed a long-running bug in #PixelCNC with the mouse-wheel suddenly becoming unresponsive after the window is 'restored'. That was a long time in the making!