|
|
1657521356
|
workspace_service cleanup
|
2024-01-01 23:34:59 +01:00 |
|
|
|
85add1ca0d
|
moved some messages from workspace_service to files
|
2024-01-01 23:29:35 +01:00 |
|
|
|
6230371020
|
feat: fixed proto and tonic includes
Co-authored-by: zaaarf <me@zaaarf.foo>
Co-authored-by: alemi <me@alemi.dev>
|
2023-12-29 01:06:28 +01:00 |
|
|
|
3b1be930d8
|
new features
|
2023-12-29 01:03:08 +01:00 |
|
|
|
ab982f4882
|
changed build method for proto and lib proto includes
|
2023-12-28 22:04:40 +01:00 |
|
|
|
b78775239f
|
cursor and workspace services
|
2023-12-28 00:21:41 +01:00 |
|
|
|
3f49730e7e
|
list of proto files to build
|
2023-12-28 00:20:45 +01:00 |
|
|
|
2f1bfab130
|
new changes to proto
|
2023-12-18 23:36:15 +01:00 |
|
|
|
18290d768c
|
features: create buffers from workspaces, list buffers and users
|
2023-12-03 20:16:43 +01:00 |
|
|
|
f687fcb1ad
|
updated buffer proto with buffer metadata and buffer struct
|
2023-12-03 19:58:21 +01:00 |
|
|
|
a3ed66521c
|
updated cursor.proto
|
2023-12-03 19:56:52 +01:00 |
|
|
|
98bab88e01
|
added user proto
|
2023-12-03 19:54:55 +01:00 |
|
|
|
07c0acd85b
|
chore: bump version
|
2023-11-30 04:00:52 +01:00 |
|
|
|
2f0875a38f
|
docs: better select_buffer text
|
2023-11-30 03:50:32 +01:00 |
|
|
|
7ad1da0f27
|
chore: updated docs, getter for buf name
|
2023-11-30 03:41:53 +01:00 |
|
|
|
5401d837c7
|
feat: add timeout to select_buffer
|
2023-11-30 03:30:50 +01:00 |
|
|
|
9d349e1b1e
|
fix: remove tracing
|
2023-11-30 03:08:22 +01:00 |
|
|
|
3197c083bf
|
fix: discard empty textchanges, drain range
|
2023-11-30 03:04:26 +01:00 |
|
|
|
3881bb38ea
|
chore: improved seen mechanism
instead of manually handling the mutex leave it to tokio and use a fancy
generic struct with update() and check()
|
2023-11-30 03:03:09 +01:00 |
|
|
|
1f50f75eb4
|
fix: apply() panic when out of bounds
|
2023-11-30 03:02:13 +01:00 |
|
|
|
10e4a458ce
|
chore: more tests, imports
|
2023-11-30 03:01:59 +01:00 |
|
|
|
da44aff408
|
feat: added TextChange helper methods and more test
|
2023-11-30 00:38:24 +01:00 |
|
|
|
b4b955a39e
|
fix: caught textchange diff bug, added tests
|
2023-11-30 00:37:57 +01:00 |
|
|
|
d562e406f2
|
fix: moved select_buffer out of client
due to instance mutexing it held the lock while awaiting for events,
which is undesirable!
|
2023-11-28 02:22:21 +01:00 |
|
|
|
1265f716d6
|
chore: packed clonable handles in sub struct
|
2023-11-27 14:55:46 +01:00 |
|
|
|
15ad6dba55
|
docs: documented select_buffer
|
2023-11-24 12:12:38 +01:00 |
|
|
|
b838cfa55d
|
chore: bump version
|
2023-11-24 11:15:14 +01:00 |
|
|
|
3bc1159ffc
|
feat: utility fn to convert from index to rowcol
|
2023-11-24 11:08:03 +01:00 |
|
|
|
488c22c0f1
|
fix: missing await, debug on ignorableErr, content
|
2023-11-24 10:43:37 +01:00 |
|
|
|
0bd8f0541d
|
feat: implemented CRDT engine (merge branch 'woot')
|
2023-11-23 20:46:46 +01:00 |
|
|
|
8df0b8ec41
|
feat: poll doesn't ever lock the RwLock
to make try_recv deadlocks way more rare
|
2023-11-23 20:45:43 +01:00 |
|
|
|
1e39363815
|
chore: lock woot version
|
2023-11-23 15:52:03 +01:00 |
|
|
|
0ba2c5ccef
|
fix: ouch mutexes are harddddd
|
2023-11-17 18:38:29 +01:00 |
|
|
|
175b9c945a
|
fix: new approach for select_buffer
this is definitely bloatier but should work and not deadlock?
|
2023-11-17 18:28:32 +01:00 |
|
|
|
152679669b
|
feat: buffer controller exposes its name
|
2023-11-17 17:38:47 +01:00 |
|
|
|
8dc3538f32
|
feat: experimental select_buffer client api
|
2023-11-17 17:00:10 +01:00 |
|
|
|
99ba5f708d
|
docs: ocd
|
2023-11-17 05:58:12 +01:00 |
|
|
|
76e61b1abb
|
docs: include doc into textchange block
|
2023-11-17 05:53:38 +01:00 |
|
|
|
9df4594408
|
feat: send granular changes, added deadlocked error
|
2023-11-17 05:47:57 +01:00 |
|
|
|
39f2bd6ac2
|
docs: updated usage and references
|
2023-11-17 05:47:40 +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 |
|
|
|
5208ff65c0
|
fix: don't trigger on self change, smaller siteid
also set woot dep rev because cache
|
2023-11-17 03:30:39 +01:00 |
|
|
|
ca29ee3e0f
|
fix: better api with TextChange, ugly fixes
it's pretty ugly but it kinda works? really need to do this better
|
2023-11-16 06:52:25 +01:00 |
|
|
|
8267e1b890
|
fix: other way around...
|
2023-11-16 06:50:55 +01:00 |
|
|
|
e7ad2723ba
|
fix: initialize woot with str, gen siteid from uid
|
2023-11-10 04:29:50 +01:00 |
|
|
|
1b7d315c9d
|
fix: pull codemp-woot from github
|
2023-11-10 04:29:39 +01:00 |
|
|
|
178ececfe2
|
fix: remove callback from controller api
|
2023-11-09 05:22:16 +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 |
|
|
|
c6abc33c53
|
fix!: removed canc from factory, impl for Arc<str>
|
2023-09-13 00:05:15 +02:00 |
|
