Brandon Lee Dring 5bc8e0b1e8 Feat/text search (#3075) ... * Added persistent text box search * Toggle search box now working * Restyled search box * Linter and bug squashing * Added multi OS hotkey support * PR changes as requested * Added ability to use escape button to close search field * Woops forgot key mapping on non mac platforms * fixed bug where escape would open up search window * Removal of unused vars that died in conflict		2019-09-23 19:37:22 +02:00
..
index.js	Split Panes (#693)	2016-10-03 19:00:50 -07:00
sessions.js	Feat/text search (#3075)	2019-09-23 19:37:22 +02:00
term-groups.js	Add prettier and resolve all lint errors	2017-09-10 16:04:13 +02:00
ui.js	fix: prettier fullscreen for macOS	2019-09-11 04:20:06 +02:00