Skip to content

Change font size #291

@schickling

Description

@schickling

It should be possible to change the font size by pressing CMD + + and CMD + - or manually setting the value in the preferences. It should be stored as editor.fontSize.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions