Commit Graph

112 Commits

Author SHA1 Message Date
Philipp Kühn
01e81752f5 improve types 2020-11-10 23:13:27 +01:00
Philipp Kühn
cb5ca0c084 refactoring 2020-11-10 21:18:22 +01:00
Philipp Kühn
d3b4e7a1d4 fix build for now 2020-11-10 16:29:31 +01:00
Philipp Kühn
7d121eb39a improve build script 2020-11-10 09:21:47 +01:00
Philipp Kühn
fd298b645b add core extensions 2020-10-23 10:44:30 +02:00
Philipp Kühn
6746163dda add AllExtensions interface 2020-10-22 22:40:40 +02:00
Philipp Kühn
79172753ef add new syntax to all extensions 2020-10-22 12:34:49 +02:00
Hans Pagel
a6bcea4458 improve collab cursor styling 2020-09-27 10:37:48 +02:00
Hans Pagel
79113aa394 add command to update username and color, add UI to show other users 2020-09-26 17:35:07 +02:00
Hans Pagel
89a5b18cae refactoring 2020-09-26 11:28:48 +02:00
Hans Pagel
80d5c54cb7 add render function to the collaboration cursor 2020-09-26 11:20:19 +02:00
Hans Pagel
6190380e75 add new collaboration cursor plugin 2020-09-26 11:03:17 +02:00