|
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
|
Allow process to be used inside config
|
2018-02-26 23:34:00 +01:00 |
|
open.js
|
Improve Windows default editor detection (#2631)
|
2018-01-23 10:01:33 +01:00 |
|
windows.js
|
Implements Commands Key mapping (#1876)
|
2017-06-02 20:03:47 -04:00 |
