Brad Dougherty bba14f6324 Add line height config (#2858) ... Fixes #2858		2018-04-21 00:22:34 +02:00
..
config-default.js	Add line height config (#2858)	2018-04-21 00:22:34 +02: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	Ensuring that the restored window position is valid (#2459)	2018-03-02 22:11:33 +01:00