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

Add -W,--window-size-chars, and foot.ini:initial-window-size-chars

Browse source 
* Add -W,--window-size-chars command line option
* Add initial-window-size-chars foot.ini option
* Add -w,--window-size-pixels command line option
* Add initial-window-size-pixels foot.ini option
* Deprecate -g,--geometry command line option in favor of
  -w,--window-size-pixels
* Deprecate geometry option in foot.ini in favor of
  initial-window-size-pixels
This commit is contained in:
Daniel Eklöf 2020-09-08 19:17:29 +02:00
parent fa6ad0f030
commit eb6737ca25
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
10 changed files with 199 additions and 57 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/foot.1.scd
View file

@ -45,8 +45,14 @@ the foot command line
Default: _monospace_.
*-w*,*--window-size-pixels*=_WIDTHxHEIGHT_
Set initial window width and height, in pixels. Default: _700x500_.
*-W*,*--window-size-chars*=_WIDTHxHEIGHT_
Set initial window width and height, in characters. Default: _not set_.
*-g*,*--geometry*=_WIDTHxHEIGHT_
Set initial window width and height. Default: *700x500*.
Deprecated. Alias for *-w*,*--window-size-pixels*.
*-t*,*--term*=_TERM_
Value to set the environment variable *TERM* to. Default: _foot_.

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

@ -35,18 +35,28 @@ in this order:
Default: _monospace_.
*geometry*
Initial window width and height in pixels (subject to output
scaling), on the form _WIDTHxHEIGHT_. Default: _700x500_.
*pad*
Padding between border and glyphs, in pixels (subject to output
scaling), on the form _XxY_. Default: _2x2_.
*initial-window-size-pixels*
Initial window width and height in _pixels_ (subject to output
scaling), on the form _WIDTHxHEIGHT_. The height _includes_ the
titlebar when using CSDs. Mutually exclusive to
*initial-window-size-chars*. Default: _700x500_.
*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-mode*
Initial window mode for each newly spawned window: *windowed*,
*maximized* or *fullscreen*. Default: _windowed_.
*geometry*
Deprecated. Alias for *initial-window-size-pixels*.
*shell*
Executable to launch. Typically a shell. Default: _$SHELL_ if set,
otherwise the user's default shell (as specified in