Changes between Version 12 and Version 13 of Help/Menu/Mode


Ignore:
Timestamp:
2025-01-13T18:00:00+01:00 (11 months ago)
Author:
stoecker
Comment:

Use a proper ticket link

Legend:

Unmodified
Added
Removed
Modified

  • Help/Menu/Mode

    v12 v13  
    4242=== See also ===
    4343* [wikitr:/Help/Preferences/Shortcuts Preferences > Keyboard Shortcuts]
    44 * The Mode menu was introduced in [/ticket/12662 October 2019].
     44* The Mode menu was introduced in October 2019 (#12662).
    4545  Its shortcut key was formerly assigned to the More Tools menu.
    4646