Open AltGr opened 11 years ago
The most important setting, font size, can be set with ctrl-+ and ctrl-- (but it's easy to bind to any control now that it is there) That must be documented, and may be available with small buttons on the status-bar (e2a178e5ccaa87f2d0455f2a7cfce41663fb6cef)
There are now a few options, but only available from the command-line. (1644af34d42b65c35ad8c02aa8cb5a1bf25b8df7)