I work in either 9 points monaco or 12 points anti-aliased monaco, is it possible to switch between these two with a simple hotkey? (also, to be really perfect, I'd like it to switch themes because I disable all bold and italics in my favourite themes because of 9 points monaco, but they look good with 12 points and so ideally I should switch between two themes as well, I think this can be done but I'm not entirely sure how)
Andreas