by jps on Fri Apr 04, 2008 2:55 pm
Via the API, you can get the font via view.options().get('font') and set it via view.options().set('font', 'Courier New 12').
It'd be fairly straightforward to write a plugin that gets the current font, parses it for the font size, and then sets it again with a smaller or larger size. I'll add it to the todo list unless someone else gets around to it first.