Skip to content

Show scrollbars only if needed.#806

Merged
justvanrossum merged 4 commits intomainfrom scrollbarsSep 14, 2023