5 Commits

Author	SHA1	Message	Date
Tom Moor	b9bf2e58cb	feat: Add cursor style user preference (#4199) ... * feat: Add cursor style user preference * Remove headings for now	2022-10-01 04:39:45 -07:00
Tom Moor	c5a11fe17b	chore: Enable eslint to enforce curly (#3060)	2022-02-05 10:15:40 -08:00
Tom Moor	1cd770e38d	fix: Disabling editor embeds should work with collaborative editing (#2968) ... * fix: Disabling editor embeds should work with collaborative editing * Design tweaks, fixed dragging	2022-01-28 18:27:27 -08:00
Tom Moor	6e371f0d03	fix: HoverPreview not showing on collaborative editing teams ... types	2021-12-05 19:31:08 -08:00
Tom Moor	15b1069bcc	chore: Move to Typescript (#2783) ... This PR moves the entire project to Typescript. Due to the ~1000 ignores this will lead to a messy codebase for a while, but the churn is worth it – all of those ignore comments are places that were never type-safe previously. closes #1282	2021-11-29 06:40:55 -08:00