mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-16 16:56:09 +03:00
core: disable styles
This commit is contained in:
@ -229,6 +229,11 @@ pub fn init(
|
|||||||
group.codepoint_map = config.@"font-codepoint-map".map;
|
group.codepoint_map = config.@"font-codepoint-map".map;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Set our styles
|
||||||
|
group.styles.set(.bold, config.@"font-style-bold" != .false);
|
||||||
|
group.styles.set(.italic, config.@"font-style-italic" != .false);
|
||||||
|
group.styles.set(.bold_italic, config.@"font-style-bold-italic" != .false);
|
||||||
|
|
||||||
// Search for fonts
|
// Search for fonts
|
||||||
if (font.Discover != void) discover: {
|
if (font.Discover != void) discover: {
|
||||||
const disco = try app.fontDiscover() orelse {
|
const disco = try app.fontDiscover() orelse {
|
||||||
|
Reference in New Issue
Block a user