Bram Moolenaar 203ec7760d patch 8.2.1228: scrollbars not flush against the window edges when maximised ...

Problem:    Scrollbars not flush against the window edges when maximised.
Solution:   Add padding. (Ken Takata, closes #5602, closes #6466)

2020-07-17 20:43:43 +02:00

54 KiB

Raw Blame History

View Raw