diff options
| author | Christian Duerr <contact@christianduerr.com> | 2023-09-16 11:32:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-16 13:32:21 +0400 |
| commit | 77aa9f42bac4377efe26512d71098d21b9b547fd (patch) | |
| tree | e2760bd3399987b69d347061e2360377a76263da /extra | |
| parent | 34b5dbacd28cd1abaedf1d81cc0ebe57aa44a086 (diff) | |
| download | alacritty-77aa9f42bac4377efe26512d71098d21b9b547fd.tar.gz alacritty-77aa9f42bac4377efe26512d71098d21b9b547fd.zip | |
Add missing position config docs
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/man/alacritty.5.scd | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/extra/man/alacritty.5.scd b/extra/man/alacritty.5.scd index 0257d4b8..b79a89d3 100644 --- a/extra/man/alacritty.5.scd +++ b/extra/man/alacritty.5.scd @@ -88,6 +88,16 @@ This section documents the *[window]* table of the configuration file. Default: _{ column = 0, lines = 0 }_ +*position* "None" | { x = <integer>, y = <integer> } + + Window startup position + + Specified in number of pixels. + + If the position is _"None"_, the window manager will handle placement. + + Default: _"None"_ + *padding* { x = <integer>, y = <integer> } Blank space added around the window in pixels. This padding is scaled |