superrob1500
/
mirror-ghostty
mirror of https://github.com/ghostty-org/ghostty
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

docs: add lacking version information 

`quick-terminal-size` option is available since 1.2.0
pull/8653/head
カワリミ人形 2025-09-16 16:13:56 +09:00 committed by GitHub
parent 79f8ea07a1
commit a92a237b80
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/config/Config.zig
View File

@ -2146,6 +2146,8 @@ keybind: Keybinds = .{},
/// from the first by a comma (`,`). Percentage and pixel sizes can be mixed /// from the first by a comma (`,`). Percentage and pixel sizes can be mixed
/// together: for instance, a size of `50%,500px` for a top-positioned quick /// together: for instance, a size of `50%,500px` for a top-positioned quick
/// terminal would be half a screen tall, and 500 pixels wide. /// terminal would be half a screen tall, and 500 pixels wide.
///
/// Available since: 1.2.0
@"quick-terminal-size": QuickTerminalSize = .{}, @"quick-terminal-size": QuickTerminalSize = .{},
/// The layer of the quick terminal window. The higher the layer, /// The layer of the quick terminal window. The higher the layer,