I reintroduced the independent font size adjustment for the main editor and console, this time with a user preference. This should satisfy all parties (me and everyone else :smiley:). By default, both the editor and console font size will be zoomed together.
Follow-up to #10.
I reintroduced the independent font size adjustment for the main editor and console, this time with a user preference. This should satisfy all parties (me and everyone else :smiley:). By default, both the editor and console font size will be zoomed together.