|
config-default.js
|
Change default colors (#2670)
|
2018-02-14 14:09:26 +01:00 |
|
import.js
|
Fix copying default config at launch if needed
|
2017-11-04 00:42:25 +01:00 |
|
init.js
|
Multiple keymaps and mousetrap (#2412)
|
2017-11-02 19:51:18 -07:00 |
|
open.js
|
Improve Windows default editor detection (#2631)
|
2018-01-23 10:01:33 +01:00 |
