-
Hans Breuer authored
without the scroll bars it looks more modern and there is more space for the diagram (after also moving the navigation button). Currently the setting can be only toggled via menu and is not persistent.
4f8e61f4
without the scroll bars it looks more modern and there is more space for the diagram (after also moving the navigation button). Currently the setting can be only toggled via menu and is not persistent.