jEdit is a nice editor but the menus look *really* nasty on OS X. I'm talking about the way shortcuts are displayed, like "CA+BACK_SPACE" for example. This patch fixes that. It takes the approach of changing only the user-visible display without changing the internal representation of shortcuts. Thus properties files are unchanged across platforms.
The patch works but I'm sure somebody needs to make sure I'm not putting OS X specific code where it doesn't belong. I would appreciate any tips for how I can make things cleaner.
Log in to post a comment.