config: add ‘font-size-adjustment=N[px|%]’ option

This patch adds a new config option, font-size-adjustment.

It lets you configure how much the font size should be
incremented/decremented when zooming in or out (ctrl-+, ctrl+-).

Values can be specified in points, pixels or percent.

Closes #1188
This commit is contained in:
Daniel Eklöf 2022-12-15 11:10:32 +01:00
parent 7bb5c80d04
commit f6ca8c90e1
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
6 changed files with 120 additions and 19 deletions

View file

@ -80,6 +80,19 @@ empty string to be set, but it must be quoted: *KEY=""*)
Default: _monospace:size=8_ (*font*), _not set_ (*font-bold*,
*font-italic*, *font-bold-italic*).
*font-size-adjustment*
Amount, in _points_, _pixels_ or _percent_, to increment/decrement
the font size when zooming in our out.
Examples:
```
font-size-adjustment=0.5 # Adjust by 0.5 points
font-size-adjustment=10xp # Adjust by 10 pixels
font-size-adjustment=7.5% # Adjust by 7.5 percent
```
Default: _0.5_
*include*
Absolute path to configuration file to import.