newRPL: design of soft menus

[Claudio L.]

(12-18-2016 01:08 PM)compsystems Wrote:  Hi, an idea, allow to select the font type for the menus, in case of FONT 5 would be the largest vertical saving in pixels.

User-selectable fonts are already being worked on. We can't use your sources, as the new fonts use a custom format to make Unicode characters more compact, also they are not fixed pitch, therefore not compatible with anything done before.