Set shortcut to Preference to F12. Reorder menu render to match GUI
order.
Authored by: brunoherbelin 2018-02-12
Parent: [r1607]
Child: [r1609]