mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-15 08:16:13 +03:00
Merge pull request #587 from mitchellh/patrickf/document-font-config
Improve docs on font configuration
This commit is contained in:
@ -24,6 +24,8 @@ const c = @cImport({
|
|||||||
});
|
});
|
||||||
|
|
||||||
/// The font families to use.
|
/// The font families to use.
|
||||||
|
/// You can generate the list of valid values using the CLI:
|
||||||
|
/// path/to/ghostty/cli +list-fonts
|
||||||
@"font-family": ?[:0]const u8 = null,
|
@"font-family": ?[:0]const u8 = null,
|
||||||
@"font-family-bold": ?[:0]const u8 = null,
|
@"font-family-bold": ?[:0]const u8 = null,
|
||||||
@"font-family-italic": ?[:0]const u8 = null,
|
@"font-family-italic": ?[:0]const u8 = null,
|
||||||
@ -39,7 +41,7 @@ const c = @cImport({
|
|||||||
/// requests a disabled font style, the regular font style will be used
|
/// requests a disabled font style, the regular font style will be used
|
||||||
/// instead.
|
/// instead.
|
||||||
///
|
///
|
||||||
/// These are only valid if there is an exact font-family also specified.
|
/// These are only valid if its corresponding font-family is also specified.
|
||||||
/// If no font-family is specified, then the font-style is ignored unless
|
/// If no font-family is specified, then the font-style is ignored unless
|
||||||
/// you're disabling the font style.
|
/// you're disabling the font style.
|
||||||
@"font-style": FontStyle = .{ .default = {} },
|
@"font-style": FontStyle = .{ .default = {} },
|
||||||
|
Reference in New Issue
Block a user