One workaround you could do would be to duplicate the functionality of the button in a pulldown menu and define the keyboard shortcut there. I think it is good general practice anyway to put all functions in the pulldown menus and use other GUI elements only as shortcuts. This gives the user one place they can look to find all the functions of your software. It's part of Apple's Human Interface Guidelines but I think it's a good idea on any platform.
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/ABB20AC3-C747-4B4A-AFDE-AA79E1F4E381%40biomantica.com.
