You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, the default font on the terminal cannot be changed. Some people have a collection of fonts that they like to use, some even pay money for them.
Though I'm not an expert at this, but I think some people might also find it useful to change fonts for accessibility.
Proposal
Allow people to change the default font used in the terminal.
Prior Art (Optional)
macOS Terminal
The text was updated successfully, but these errors were encountered:
Problem
Right now, the default font on the terminal cannot be changed. Some people have a collection of fonts that they like to use, some even pay money for them.
Though I'm not an expert at this, but I think some people might also find it useful to change fonts for accessibility.
Proposal
Allow people to change the default font used in the terminal.
Prior Art (Optional)
macOS Terminal
The text was updated successfully, but these errors were encountered: