-
Committer:
Adam Reichold
-
Date:
2022-04-27 11:12:02 UTC
-
Revision ID:
adam.reichold@t-online.de-20220427111202-y59g46lkgziaobbd
Always consider the space requirements of scroll bars when scaling to fit to avoid feedback loops when rescaling changes scroll bar visibility.