Max Wu b67079d0ed Update to make editor have extra scroll padding in the bottom ... that can scroll over editor lines and leave only one line on top of the editor Signed-off-by: Max Wu <jackymaxj@gmail.com>		2020-06-01 23:08:45 +08:00
..
markdown-lint	Fix linter error	2019-11-01 16:47:41 +08:00
config.js	refactor: fix lint on public/js/lib/editor/config.js	2019-08-04 23:56:32 +08:00
constants.js	Support emojify.css use cdn	2020-02-06 14:31:25 +08:00
index.js	fix: use const for ignoreOverlay since it's never reassigned	2020-02-27 18:20:41 +08:00
spellcheck.js	Fix check overlay not refreshed	2020-02-05 18:34:03 +08:00
statusbar.html	Lazy load dicts, support cdn, config webpack	2020-02-05 18:34:02 +08:00
table-editor.js	fix: table editor key map might conflict with textcomplete keymap	2019-10-26 15:02:45 +08:00
toolbar.html	feat: add toolbar buttons for table tools	2019-10-14 14:14:32 +08:00
ui-elements.js	Update to make editor have extra scroll padding in the bottom	2020-06-01 23:08:45 +08:00
utils.js	refactor: fix lint on public/js/lib/editor/utils.js	2019-08-04 23:56:35 +08:00