Juan Campa bc2d32ba1d Emoji Fix (#3388) ... * Upgrading xterm.js with emoji support * Removing emoji shortcut My understanding is that this was needed at some point because we weren't typing into a textarea. No that we're typing into a textarea the browser (i.e. Chromium) handles this for us		2019-01-04 17:35:17 -08:00
..
darwin.json	Emoji Fix (#3388)	2019-01-04 17:35:17 -08:00
linux.json	Fix zoom keymaps for Windows (#2489)	2018-04-25 01:14:05 +02:00
win32.json	Fix zoom keymaps for Windows (#2489)	2018-04-25 01:14:05 +02:00