Commits on Oct 21, 2020

1. Make platform-specific menus more portable …

   If an application were to misuse a platform-specific for the wrong
   platform, it would get unusable keybindings. With this patch, it might
   not be the most appropriate for the platform, but it would work.
   
   The linked bug below suggests a more systematic approach, but this is a
   minimal patch to get things to a less broken state.
   
   Part of work tracked in #1306.

   

   raphlinus committed Oct 21, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for c69619c
   • Browse repository at this point

   Copy the full SHA

   c69619c View commit details

   Browse the repository at this point in the history