Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-17 01:06:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

core: hook up the codepoint map to the loaded font group

Browse Source
This commit is contained in:
Mitchell Hashimoto
2023-09-24 20:35:05 -07:00
parent a8877d334c
commit c2cc2b8f03
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Surface.zig
View File

@ -224,6 +224,11 @@ pub fn init(
var group = try font.Group.init(alloc, font_lib, font_size); var group = try font.Group.init(alloc, font_lib, font_size);
errdefer group.deinit(); errdefer group.deinit();
// If we have codepoint mappings, set those.
if (config.@"font-codepoint-map".map.list.len > 0) {
group.codepoint_map = config.@"font-codepoint-map".map;
}
// 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 {

3
src/config/Config.zig
View File

@ -104,6 +104,9 @@ const c = @cImport({
/// ///
/// This configuration can be repeated multiple times to specify multiple /// This configuration can be repeated multiple times to specify multiple
/// codepoint mappings. /// codepoint mappings.
///
/// Changing this configuration at runtime will only affect new terminals,
/// i.e. new windows, tabs, etc.
@"font-codepoint-map": RepeatableCodepointMap = .{}, @"font-codepoint-map": RepeatableCodepointMap = .{},
/// Draw fonts with a thicker stroke, if supported. This is only supported /// Draw fonts with a thicker stroke, if supported. This is only supported