|
|
87e0e06aaf
|
fix: refresh hover when menus modify their contents
This fixes hover and scroll in palettes and dropdowns.
close #486
|
2026-02-03 18:45:44 +01:00 |
|
|
|
c3cf5ea02f
|
refactor: add source location tracing for need_render calls
|
2026-01-15 17:51:38 +01:00 |
|
|
|
c87884f924
|
refactor: remove some obsolete overlay commands
|
2025-12-10 15:23:22 +01:00 |
|
|
|
61de5d89d7
|
refactor: rename open_changed_files to show_vcs_status
This fits a bit better as we will add commands to do more than just
open the files in the status palette.
|
2025-10-28 22:21:16 +01:00 |
|