If I start up jEdit with an empty settings dir, shouldn't it not have an "imported"
keymap but instead select the "jEdit" keymap? Or does it matter?
Submitted | ezust - 2012-10-15 00:57:40 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |