CHaBou 8ebdaebdfa Change default colors (#2670)		2018-02-14 14:09:26 +01:00
..
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
paths.js	Add CLI tool to install/search plugins or launch app (#2375)	2018-01-09 16:05:19 +01:00
windows.js	Implements Commands Key mapping (#1876)	2017-06-02 20:03:47 -04:00