|
cursors
|
Use unknown return type for callbacks
|
2025-08-17 15:12:31 +01:00 |
|
editor-sync-line
|
Add sync status inside editor
|
2025-05-11 22:25:19 +01:00 |
|
history
|
Use unknown return type for callbacks
|
2025-08-17 15:12:31 +01:00 |
|
logs
|
Fix logs view
|
2025-04-03 22:46:07 +01:00 |
|
settings
|
Use unknown return type for callbacks
|
2025-08-17 15:12:31 +01:00 |
|
status-bar
|
Use unknown return type for callbacks
|
2025-08-17 15:12:31 +01:00 |
