Repository navigation
✨ Custom Font Settings #200
Description
We need a custom font setting in CodeEdit.
- The editor and terminal should both default to SF Mono.
- The editor and terminal should have the following separate font settings.
- Font family
- Font size
- Font weight
- Line height
- The terminal by default should use the editors font settings (with the exception of line height, should default to the same as the font size) but can be set to be different from the editors setting.
Use case: I use a powerline zsh theme which requires a custom font to display correctly. I see this...
when it should look like this...
Activity
underthestars-zhy commentedon Mar 23, 2022
I will add the font settings tab to the Preference view
lukepistrol commentedon Mar 23, 2022
Terminal font settings working for now
austincondiff commentedon Mar 23, 2022
They do!
There is no editor font settings though
lukepistrol commentedon Mar 23, 2022
@austincondiff working on implementing an ANSI color picker now #219
lukepistrol commentedon Mar 23, 2022
Yeah I guess @MarcoCarnevali should take a look at the editor font selector since he's working on the editor and I don't want to mess things up
jakoritarleite commentedon Mar 23, 2022
It would also be nice to have an option that enables font ligatures!
austincondiff commentedon Mar 23, 2022
@lukepistrol We should be using the syntax highlighting theme the user has selected to also highlight the terminal.
[-][FEAT] - Custom Font Settings[/-][+]✨ Custom Font Settings[/+]austincondiff commentedon Apr 22, 2022
We are just waiting on the ability to change the line height for both the editor and the terminal to be able to close this. The editor should default to 16px/1.6em/160% based on a 10px font size, and terminal should default to 10px/1em/100% (same as font size).
nicolasparada commentedon Jan 13, 2023
Current line height limit is capped to
2and that is just too low :cCodeEdit/CodeEdit/Features/AppPreferences/Sections/TextEditingPreferences/TextEditingPreferencesView.swift
Line 33 in ff0f796
austincondiff commentedon Jan 13, 2023
@nicolasparada What would be an acceptable cap if not
2.0?nicolasparada commentedon Jan 14, 2023
Dunno really.
In VSCode, from 0 to 8 means it is a multiplier of the font size. I use 3, and the default font size of 12, meaning the line height is
36.In VSCode then I increase the whole zoom to 2 (140%) which increases everything up. So maybe I would need
50of line height.I bet there are people that like it even more spaced :)
austincondiff commentedon Feb 17, 2023
Everything in the above checkbox has been implemented. Closing.