|
editor-sync-line
|
Add sync status inside editor
|
2025-05-11 22:25:19 +01:00 |
|
history
|
Fix history ordering
|
2025-04-07 20:22:30 +01:00 |
|
logs
|
Fix logs view
|
2025-04-03 22:46:07 +01:00 |
|
settings
|
Normalise settings values
|
2025-04-07 22:28:39 +01:00 |
|
status-bar
|
Add WebSocket support (#12)
|
2025-03-29 10:17:46 +00:00 |
|
status-description
|
Add WebSocket support (#12)
|
2025-03-29 10:17:46 +00:00 |
