Re: [racket-users] keyboard shortcuts in a popup menu

2020-01-23 Thread James Platt
Thanks. I guess the point of having keyboard shortcuts in popup menus is just to display them to remind the user what they are. At this point, I plan to follow the practice of having everything from the popups also in a main menu bar in every platform. So really, the glitch failing to

Re: [racket-users] keyboard shortcuts in a popup menu

2020-01-22 Thread George Neuner
On 1/22/2020 4:44 PM, James Platt wrote: I'm working on some GUI code and I am seeing some glitches with keyboard shortcuts in popup menus. I wonder if others are seeing the same things. In Racket 7.5 on macOS 10.11.6 "El Captian": Shortcuts defined in a menu-item% in a popup menu don't

[racket-users] keyboard shortcuts in a popup menu

2020-01-22 Thread James Platt
I'm working on some GUI code and I am seeing some glitches with keyboard shortcuts in popup menus. I wonder if others are seeing the same things. In Racket 7.5 on macOS 10.11.6 "El Captian": Shortcuts defined in a menu-item% in a popup menu don't work unless the popup menu is displayed. In