mirrors/foot
1
0
Fork 0
mirror of https://codeberg.org/dnkl/foot.git synced 2026-02-18 22:05:25 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

render: best-effort attempt to set initial window size in chars when scale != 1

Browse source 
The initial window size is set *before* we’re initially mapped. This
means we don’t (yet) know on which output we’ll be mapped. _That_
means we don’t know which scaling factor to use.

This implements a best effort attempt, where we use the “guessed”
scaling factor. This will always be correct in single-monitor
configurations, but may be wrong in multi-monitor setups with
different scaling factors.
This commit is contained in:
Daniel Eklöf 2020-09-14 17:34:04 +02:00
parent 51a7e44fa2
commit fdfdbba9a0
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
2 changed files with 15 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

9
doc/foot.ini.5.scd
View file

@ -48,7 +48,14 @@ in this order:
*initial-window-size-chars*
Initial window width and height in _characters_, on the form
_WIDTHxHEIGHT_. Mutually exclusive to
*initial-window-size-pixels*. Default: _not set_.
*initial-window-size-pixels*.'
Note that if you have a multi-monitor setup, with different
scaling factors, there is a possibility the window size will not
be set correctly. If that is the case, use
*initial-window-size-pixels* instead.
Default: _not set_.
*initial-window-mode*
Initial window mode for each newly spawned window: *windowed*,