Hi, at the moment, the entire UI works with two fonts: the "display" font and the "editor" font. This is a bit too limited to my taste. I would at least find it useful to have a bigger font for the menus and the tab labels than for the editor or the general display. Luc