This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Pablo Vazquez ab49b7d739 UI: Slightly larger action zone for corner resizing ...

Pretty minor, from 0.6 to 0.8, but the improvement is noticeable
especially when using a stylus, without overlapping too much with
the buttons and dropdowns in headers.

2018-08-02 01:26:58 +02:00

4.1 KiB

Raw Blame History

View Raw