Commit [d9ae65] Maximize Restore History

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 Eric Le Lay 2011-10-29

changed org/gjt/sp/jedit/keymap/KeymapManagerImpl.java
changed org/gjt/sp/jedit/jedit.props
org/gjt/sp/jedit/keymap/KeymapManagerImpl.java Diff Switch to side-by-side view
Loading...
org/gjt/sp/jedit/jedit.props Diff Switch to side-by-side view
Loading...