hexedtech/codemp
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp.git synced 2024-10-22 17:59:20 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
680 commits 5 branches 19 tags 1.6 MiB
Commit graph

680 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
zaaarf
3b45c4ddb6
feat(java): UUID-based users, fixed event api 2024-08-19 11:36:51 +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
alemi
f9d8ed6dbb
ci: dont fail fast, only on dev 2024-08-17 18:48:42 +02:00
alemi
417e6928cf
ci: build with each feature, not all 2024-08-17 18:38:37 +02:00
alemi
3a98178919
docs: rewritten README 2024-08-17 18:27:32 +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
alemi
0154e5a032
fix: try_recv() channel error : delta may be None 
basically if there was no change to report, the oneshot would not get
updated which is bad. so we put back the version we got and send a None
(the channel now has nullable TextChange). so basically its always a
try_recv, but its fine since recv is implemented with try_recv + poll
anyway
 2024-08-17 00:17:01 +02:00
alemi
fdcfc611b1
feat(lua): hand rolled a_sync! to the rescue 2024-08-17 00:06:57 +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