diff options
| author | jgrocho <codeberg@jon.grocho.net> | 2022-11-30 06:07:50 +0000 |
|---|---|---|
| committer | jao <mail@jao.io> | 2022-11-30 06:07:50 +0000 |
| commit | 94f9c2c282b24c68403b8456279b09f5f05d37fc (patch) | |
| tree | b011492a032f2ca6e851631291fdd532c988334e /doc | |
| parent | 2a30cb05d0ff98d36bd34eb21de993b23334d4b1 (diff) | |
| download | xmobar-94f9c2c282b24c68403b8456279b09f5f05d37fc.tar.gz xmobar-94f9c2c282b24c68403b8456279b09f5f05d37fc.tar.bz2 | |
Adds DPI configuration (#660)
Adds a new DPI configuration, especially useful for HiDPI displays. This changes the scaling factor for fonts as displayed by Pango. It defaults to 96.0 which corresponds to an average screen and is the default in [Cairo](https://hackage.haskell.org/package/pango-0.13.5.0/docs/Graphics-Rendering-Pango-Cairo.html#v:cairoFontMapGetDefault). It's also possible to supply a zero or negative value to use the default scaling factor, but I felt setting the default to 96.0 makes it more explicit.
It also adds a matching command line option.
I haven't tested it too thoroughly, but in my limited use it appears to be working as intended.
One thing this does not do is scale XBM and XPM bitmap files which I'm unsure how to do or if that should even be our concern (instead leaving it up to the user to supply appropriate bitmaps).
Co-authored-by: Jonathan Grochowski <jon@grocho.net>
Reviewed-on: https://codeberg.org/xmobar/xmobar/pulls/660
Co-authored-by: jgrocho <codeberg@jon.grocho.net>
Co-committed-by: jgrocho <codeberg@jon.grocho.net>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/quick-start.org | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/quick-start.org b/doc/quick-start.org index 53c4803..b013446 100644 --- a/doc/quick-start.org +++ b/doc/quick-start.org @@ -48,6 +48,7 @@ configuration language, see [[../etc/xmobar.config][etc/xmobar.config]], and you -x screen --screen=screen On which X screen number to start -p position --position=position Specify position of xmobar. Same syntax as in config file -T [format] --text[=format] Write output to stdout + -D dpi --dpi=dpi The DPI scaling factor. Default 96.0 Mail bug reports and suggestions to <mail@jao.io> #+end_example @@ -77,6 +78,11 @@ configuration language, see [[../etc/xmobar.config][etc/xmobar.config]], and you additionalFonts = [iconFont, altIconFont] #+end_src + - =dpi= The DPI scaling factor, as a decimal, to use. If 0, negative, or not + given, the default of 96 will be used, which corresponds to an average + screen. A 10pt font will therefore scale to 10pt * (1/72 pt/inch) * (96 + pixel/inch) = 13.3 pixel. This is especially useful for HiDPI displays. + The global font is used by default when none of the others is specified using the ~<fn=n>...</fn>~ markup, with ~n~ a 1-based index in the ~additionalFonts~ array. So, for instance |