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
Originally posted by KieranConlon April 26, 2023
Alternatively, could we create custom commands to increase/decrease the font size? These custom commands could then have key bindings assigned.
The text was updated successfully, but these errors were encountered:
Discussed in #176
Originally posted by KieranConlon April 26, 2023
Alternatively, could we create custom commands to increase/decrease the font size? These custom commands could then have key bindings assigned.
The text was updated successfully, but these errors were encountered: