![]() This PR factors out the construction of the font-related JSON schemas, as they were used in multiple places. Release Notes: - N/A |
||
---|---|---|
.. | ||
mappings | ||
pty_info.rs | ||
terminal.rs | ||
terminal_settings.rs |
![]() This PR factors out the construction of the font-related JSON schemas, as they were used in multiple places. Release Notes: - N/A |
||
---|---|---|
.. | ||
mappings | ||
pty_info.rs | ||
terminal.rs | ||
terminal_settings.rs |