Themes, marks and on-screen mapping enter the wiki Two new pages — Themes and Appearance, and Marks and Search — plus the mapping mode and MIDI in Keyboard Shortcuts. The console page had the editor down as monospaced, which stopped being true when ten typefaces came inside the app, and F11 down as full screen when it toggles focus.