Fork me on GitHub
#cursive
<
2023-01-31
>
octahedrion15:01:11

is there any way to change the font size in the REPL the way I can for editor windows (with keybindings) ?

cfleming22:01:20

I think Preferences | Editor | Color Scheme | Console Font is what you’re looking for?

octahedrion07:02:27

yes but that's for all REPLs and it's not keybindable

octahedrion07:02:08

i.e. in a normal editor I can do ⌘= to increase font size and ⌘-to decrease it without having to go into preferences, and it's for only that editor pane