Plugin is just published in Addons Manager.
It gives 3 commands to change editor font (not the UI font):
- Next font
- Previous font
- Select font... - this shows list of all fonts in OS. On pressing Enter in menu - font activates temporary, on pressing Escape - you accept the font choice.
Author: @veksha (at GitHub)