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:40z | Assigned | nobody |
|---|---|---|---|
| Priority | 5 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |