New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
✨ Setting for editor font size #98
Labels
Comments
lukepistrol
added
enhancement
New feature or request
good first issue
Good for newcomers
labels
Mar 20, 2022
lukepistrol
changed the title
Setting for editor font size
[FEAT] - Setting for editor font size
Mar 21, 2022
Sounds great, I will try and work on this. |
austincondiff
changed the title
[FEAT] - Setting for editor font size
✨ Setting for editor font size
Mar 31, 2022
@Shakenbeet are you still working on this? Otherwise I can give it a try |
The setting itself is already available but implementation is still missing @lovetodream |
@lovetodream I am no longer able to work on this |
@lukepistrol alright I'll give it a try |
5 tasks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We need to be able to set the font size for the editor. There should be a setting in the preferences window and Cmd + and Cmd - should do this when the editor is in focus.
The text was updated successfully, but these errors were encountered: