ScreenWidget: more gui improvements.

schdub opened this issue 4 years ago · 0 comments

schdub commented 4 years ago

get rid ScrollArea;
add more control over zooming of the screen;
get rid random 'funky' errors when getting screenshot.