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 |