Jonatan Kłosko 0b77fd4279 Add keyboard shortcuts help modal (#41) ... * Update keybindings and add help modal * Add more evaluation shortcuts * Add shortcut to the help modal * Show appropriate shortcuts depending on the user system * Handle missing user-agent header * Conditionally render shortcut based on user agent * Implement vim-style navigation * Remove warning * Determine platform based on socket on mount * Improve shortcuts list UI		2021-02-18 13:14:09 +01:00
..
live_editor
index.js	Add keyboard shortcuts help modal (#41)	2021-02-18 13:14:09 +01:00
live_editor.js
markdown.js	Sanitize HTML rendered from Markdown (#39)	2021-02-17 17:16:16 +01:00