Bugfix

Fixed bug with scrollbars and PGProblemEditor3