| commit | 6673ea5b49260beffe2c258889f9bd1427f33bac | |
| author | Colomban Wendling <ban@herbesfolles.org> | |
| Mon, 8 Jan 2018 09:17:51 +0000 (8 01:17 -0800) | ||
| committer | Colomban Wendling <ban@herbesfolles.org> | |
| Sun, 25 Oct 2020 09:50:08 +0000 (25 10:50 +0100) | ||
| tree | ee523811adf79e182f77a26fed164267434c913c | treesnapshot (tar.gz zip) |
| parent | 97f8f3c7afea387adbfa91df04de006f6af0c6d7 | commitdiff |
Size symbols and fold margins proportional to line height
This makes those margin better adapt larger font sizes and zooms.
Fixes #1733.
This makes those margin better adapt larger font sizes and zooms.
Fixes #1733.
| src/editor.c | diffblobblamehistory | |
| src/sciwrappers.c | diffblobblamehistory |