fix KeymapManager to find system keymaps on Mac OS X
- working dir is then /Applications and jedithome is /Applications/jEdit.app/Contents/Resources/Java)
- filenames are not case sensitive but fixing names in jedit.props anyway
Eric Le Lay
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.