hexedtech/codemp
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp.git synced 2024-12-23 13:24:54 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
425 commits 4 branches 22 tags 2 MiB
Commit graph

425 commits

This branch
This branch
All branches
Author SHA1 Message Date
cschen
72896d87d6 feat(python): tentative of Promise based approach 2024-08-20 17:16:36 +02:00
cschen
b09c7a2206 ON_HOLD: pyo3 experimental async is still too experimental, pivoting to blocking behaviour for now. 2024-08-20 11:22:45 +02:00
cschen
a45db74722 feat(python): use a current_thread executor 2024-08-18 19:06:07 +02:00
cschen
76e5320e6a chore(python): minor changes 2024-08-17 23:48:02 +02:00
cschen
d6594928d9 chore: updated type hints with some sliver of documentation 2024-08-17 23:47:28 +02:00
cschen
f743fbcb03 feat: brought back the manual workspace implementation 2024-08-17 23:47:06 +02:00
cschen
07f656cbe5 feat(python): finish wrapping the new glue in the new pyo3 stuff 2024-08-17 01:13:07 +02:00
cschen
3fe6d224e3 feat(python): summon black magic to allow possible release of the GIL between .awaits 
plus nice static runtime singleton fetcher/instantiator
 2024-08-17 01:12:35 +02:00
cschen
5acca5ce3e feat: make the automatic User translation into py, 
fix: properly create the module with the new version signature
 2024-08-17 01:11:11 +02:00
cschen
f8c36be6ea feat: updated workspace manually anyway even if commented so that we have it ready just in case 2024-08-17 01:09:29 +02:00
cschen
ef2285d0f3 Merge branch 'dev' into pyo3_bump 2024-08-16 16:50:55 +02:00
cschen
e7fa9f4a5b fix: Worker list_users_returns a Vec<User> instead of Vec<Identity> 
chore: formatter going to town
 2024-08-16 16:46:32 +02:00
cschen
9d5aae461f feat: added the file name changed to the workspace event (uniform non-unit variant enum) 2024-08-16 16:15:48 +02:00
cschen
610576f8b7 feat: Bumping to pyo3 0.22, removing pyo3-asyncio, moving code around to allow for 
smoother pyo3 aggregation.
 2024-08-16 12:58:43 +02:00
zaaarf
0d3af40eb0
feat(java): expose hash function, use OptionalLong in TextChange 2024-08-16 01:21:21 +02:00
alemi
8b704fa668
feat: impl so no longer needed from:: 
Co-authored-by: zaaarf <me@zaaarf.foo>
 2024-08-15 22:48:03 +02:00
alemi
79f132236f
feat(lua): impl all methods, add callback 
this uses mlua beta but whatev api is so much better
 2024-08-15 22:19:08 +02:00
alemi
a8ce56bcc0
feat: callback gets the controller itself as arg 2024-08-15 20:41:53 +02:00
alemi
c0d586df90
feat: Clone+Debug on api::Event 2024-08-15 20:15:37 +02:00
alemi
d3ce714070
feat: rather than +Debug, make a newtype 2024-08-15 20:15:23 +02:00
alemi
7900ca08a7
feat: added back .callback() to controller api 2024-08-15 19:32:01 +02:00
alemi
2f955ecef4
chore: pub(crate) for cursor controller too 2024-08-15 19:31:34 +02:00
cschen
e732e6a938 feat(python): adapted glue to latest changes, still todo workspace events. 2024-08-15 17:58:02 +02:00
alemi
b51e55570f
fix(lua): return error with context 
maybe wasteful? but i really want this to show error strings
 2024-08-15 03:45:50 +02:00
alemi
f1b8d83bac
fix: don't clone at the end of select_buffer 2024-08-15 03:42:48 +02:00
alemi
889f745dd4
feat(lua): .event(), userdata for WorkspaceEvent 2024-08-15 03:42:25 +02:00
alemi
3e37d4ffe3
fix: don't send anything if change is a noop 2024-08-14 23:53:51 +02:00
alemi
783a51a831
feat(lua): added script 
this is mostly symbolic, to show how easy it is to deal with lua native
extensions (also i dont really want to pub this on luarocks yet...)
 2024-08-14 23:46:45 +02:00
alemi
e43105b919
fix: textchange can be both delete and insert 2024-08-14 23:46:16 +02:00
zaaarf
a5502d1f1f
fix(java): use ext::hash() instead 2024-08-14 19:17:25 +02:00
zaaarf
39f69cc418
feat(java): xxh3 hash checking 2024-08-14 19:09:48 +02:00
zaaarf
fcd2b9f1c9
chore(java): async send 2024-08-14 18:51:34 +02:00
alemi
24f5bdf2a7
feat(lua): expose hash field in text change 2024-08-14 18:07:26 +02:00
frelodev
2d20887509 chore: removed prelude imports and fixed glue exports 2024-08-14 18:00:12 +02:00
frelodev
b46914528a chore: updated js glue to have async send/recv 2024-08-14 17:25:23 +02:00
alemi
8806941a13
feat(lua): expose hash fn 2024-08-14 17:16:58 +02:00
cschen
c58d1db58b fix: proper translation from dt::Operation to Textchange 
Co-authored-by: alemi <me@alemi.dev>
 2024-08-14 17:16:05 +02:00
alemi
97b7504098
feat: hash is a public ext 2024-08-14 17:12:36 +02:00
cschen
d22446ee10 fix: this time is the good one 2024-08-14 16:31:28 +02:00
cschen
6c30699acc Revert "(to alemi: always has been) fix: try now lmao." 
This reverts commit 1b5b9e74bf.
 2024-08-14 16:15:42 +02:00
cschen
1b5b9e74bf (to alemi: always has been) fix: try now lmao. 2024-08-14 16:07:19 +02:00
alemi
2916848165
fix(lua): its all async now 2024-08-14 15:56:36 +02:00
alemi
4bed9d7432
fix: cursor controller backpressure 
Co-authored-by: cschen <cschen@codemp.dev>
 2024-08-14 15:56:10 +02:00
alemi
413247f9b4
fix: update local version on send 
also keep a branch on which we merge editor's changes, which kind of
solves our race condition thing

Co-authored-by: cschen <cschen@codemp.dev>
 2024-08-14 15:55:18 +02:00
alemi
3346f1c526
feat: Controller::send is now async 
needed because we want this to be acked, no longer a "fire and forget"
action

Co-authored-by: cschen <cschen@codemp.dev>
 2024-08-14 15:55:06 +02:00
cschen
ef9da1740a chore: explaining an extra thing 2024-08-14 13:34:01 +02:00
cschen
4d65b2db7d fix: error in the worker that merged more operations than needed. 2024-08-14 13:32:18 +02:00
zaaarf
bd6423856b
chore(java): try_recv async 2024-08-14 00:27:26 +02:00
zaaarf
a9d713fd75
feat: async try_recv, delta_request 
Co-authored-by: alemi <me@alemi.dev>
 2024-08-14 00:24:32 +02:00
zaaarf
ada6ed49c1
fix(java): async content(), moved select_buffer 2024-08-13 21:58:40 +02:00