|
|
b2f4e0c038
|
Show files open by other users
|
2025-08-27 22:31:29 +01:00 |
|
|
|
d6e4305588
|
Fix lint
|
2025-08-26 22:22:36 +01:00 |
|
|
|
2ff1384fde
|
Fix cursor moving perf
|
2025-08-26 21:17:57 +01:00 |
|
|
|
a36a24effc
|
Fix main & improve cursor sync (#101)
|
2025-08-25 17:15:52 +01:00 |
|
|
|
81b81e30ff
|
Use unknown return type for callbacks
|
2025-08-17 15:12:31 +01:00 |
|
|
|
e73f147fbc
|
Add local prediction for remote cursor updates
|
2025-08-17 15:03:34 +01:00 |
|
|
|
2d016c44bd
|
Add local selection update
|
2025-08-17 15:01:38 +01:00 |
|
|
|
a9ddd1032f
|
Lint flaky websocket factory
|
2025-08-17 14:59:41 +01:00 |
|
|
|
a2cbcf0519
|
SLow down requests for development
|
2025-08-16 12:21:50 +01:00 |
|
|
|
b56e8f6c15
|
Rename
|
2025-08-10 12:59:14 +01:00 |
|
|
|
bb0e44f06f
|
Extract reconcile (#85)
|
2025-07-13 11:06:42 +01:00 |
|
|
|
e8b9bf40c5
|
Add API for propagating cursor locations (#61)
|
2025-06-08 20:20:52 +01:00 |
|
|
|
b72b3488d8
|
Don't show .md extensions
|
2025-05-25 11:35:42 +01:00 |
|
|
|
f93ca447d8
|
Improve history view UX
|
2025-05-24 19:05:12 +01:00 |
|
|
|
5c8b02f69c
|
Lint
|
2025-05-24 19:02:50 +01:00 |
|
|
|
76a17c4221
|
Better default ignores
|
2025-05-24 14:35:16 +01:00 |
|
|
|
22a13e0152
|
Change file limit from slider to number
|
2025-05-24 13:56:36 +01:00 |
|
|
|
b17f34d402
|
Fix ignore patterns
|
2025-05-24 13:21:37 +01:00 |
|
|
|
ceb217cda8
|
Add simple glob ignore patterns
|
2025-05-22 21:41:59 +01:00 |
|
|
|
45f9f37d0f
|
Make startup deletion check more robust
|
2025-05-14 22:14:34 +01:00 |
|
|
|
de346b9fcf
|
Add sync status inside editor
|
2025-05-11 22:25:19 +01:00 |
|
|
|
1598e3c4d5
|
Handle syncing with selections
|
2025-05-11 15:50:24 +01:00 |
|
|
|
438f0b4d97
|
Fix out of bounds cursor checking
|
2025-04-13 22:23:28 +01:00 |
|
|
|
04a24d0b38
|
Normalise settings values
|
2025-04-07 22:28:39 +01:00 |
|
|
|
a86a056888
|
Fix history ordering
|
2025-04-07 20:22:30 +01:00 |
|
|
|
297787739b
|
Don't apply empty edits
|
2025-04-04 21:20:04 +01:00 |
|
|
|
181ea4faef
|
Fix logs view
|
2025-04-03 22:46:07 +01:00 |
|
|
|
5328e3b0f6
|
Fix cursor movement on Windows
|
2025-04-03 21:44:45 +01:00 |
|
|
|
1f9728d893
|
Add cursor moving (#19)
|
2025-04-02 22:06:38 +01:00 |
|
|
|
52bda89764
|
Fix jumping cursor
|
2025-03-29 13:36:32 +00:00 |
|
|
|
3d8152f6f5
|
Rate-limit updates
|
2025-03-29 12:26:52 +00:00 |
|
|
|
1aad0fce31
|
Add WebSocket support (#12)
|
2025-03-29 10:17:46 +00:00 |
|
|
|
468d0ac8cf
|
Fix history view
|
2025-03-23 15:00:20 +00:00 |
|
|
|
407c56040e
|
Improve settings
|
2025-03-22 20:24:19 +00:00 |
|
|
|
3dbeb54c54
|
Only show file name on history card
|
2025-03-22 20:23:34 +00:00 |
|
|
|
30ecf52dde
|
Improve history view
|
2025-03-22 18:41:30 +00:00 |
|
|
|
7153c06c63
|
Lint
|
2025-03-22 18:10:50 +00:00 |
|
|
|
eb9fadf714
|
Fix crashes
|
2025-03-22 18:10:39 +00:00 |
|
|
|
8a27987798
|
Make logs view performant
|
2025-03-22 17:06:32 +00:00 |
|
|
|
c7e53bff26
|
Hoist retry logic
|
2025-03-22 16:15:33 +00:00 |
|
|
|
acbc0c0e65
|
Improve server config setting section
|
2025-03-22 15:38:23 +00:00 |
|
|
|
8723c8499b
|
Fix status bar disabled state
|
2025-03-22 14:05:54 +00:00 |
|
|
|
2722f7c7fc
|
Stop exposing Syncer from SyncClient
|
2025-03-22 13:48:01 +00:00 |
|
|
|
d885646f39
|
Configure line-endings
|
2025-03-22 12:04:33 +00:00 |
|
|
|
b6d0416807
|
Lint
|
2025-03-20 22:28:59 +00:00 |
|
|
|
8a9f87cc05
|
Clean up API
|
2025-03-20 22:27:07 +00:00 |
|
|
|
03d0b7e025
|
Use inlined sync history
|
2025-03-20 21:00:54 +00:00 |
|
|
|
e6563c99b0
|
Remove minimum log level
|
2025-03-20 20:59:49 +00:00 |
|
|
|
d772cda164
|
Use new settings API exposed directly through SyncClient
|
2025-03-20 20:44:03 +00:00 |
|
|
|
c278e9d131
|
Log to console
|
2025-03-18 21:13:47 +00:00 |
|
