f14a8c40a5
feat: add codemp user to api
...
super stub but whatev
2024-08-08 21:55:43 +02:00
39533ae086
feat: wrappers for Cursor and Op
...
so plugins dont need to interact directly with our underlying proto
struct, nor our underlying crdt ops. also for wrapping directly in glue
2024-08-05 19:15:30 +02:00
23db5af4d2
feat: java glue (kind of)
2024-03-09 23:27:08 +01:00
a38c28f401
feat: moved out proto + feature flag cleanup
...
Co-authored-by: alemi <me@alemi.dev>
2024-03-09 19:59:36 +01:00
47127bbb41
chore: back from transport to proto
2024-02-09 00:39:07 +01:00
f61836e4ca
chore: we don't need user_id this deep actually
...
it's stored in our token anyway
2024-02-07 01:11:36 +01:00
f7bd5849be
fix: removed instance module, fixed prelude
2024-01-25 03:25:45 +01:00
94a7786812
feat: workspaces and new library structure
...
Co-authored-by: alemi <me@alemi.dev>
Co-authored-by: frelodev <frelodev@gmail.com>
2024-01-25 02:13:45 +01:00
5be1a7b901
fix: export woot and not OT
2023-11-17 05:46:13 +01:00
2ccb5c936b
feat: moved TextChange into api, added from diff
2023-11-17 05:45:31 +01:00
8686715e9d
feat: swap in our WOOT implementation
...
it's kinda crude and buggy but some things might just work?
2023-11-09 05:21:24 +01:00
4ec99bab36
chore: modularized crate into features
...
by default "client" is on so that it works like before but it's possible
to cherry pick features out and (for example) only build the grpc proto
structs
2023-09-10 03:40:31 +02:00
b2520898b5
chore: moved factory under api, restructured
2023-09-10 03:00:47 +02:00
1034f0482c
chore: moved controller under api module
2023-09-03 23:04:08 +02:00
2ad5d4f6b0
docs: a ton of documentation
2023-08-20 00:46:55 +02:00
1e05af6d79
feat: sync send in controller, docs, better import
2023-08-19 21:44:27 +02:00
489ade9127
feat: more stuff into prelude
2023-08-19 18:28:37 +02:00
4562c2732b
feat: faster accessor, fix prelude
2023-08-19 05:04:25 +02:00
463515da29
fix: pub static refs
2023-08-17 03:39:40 +02:00
fecd28165a
feat: plainer names and prefixed prelude
2023-08-17 02:58:55 +02:00
