|
|
48fc8a968c
|
fix: store jump location source before navigating to another file
|
2024-04-09 22:32:46 +02:00 |
|
|
|
31561242db
|
feat: update mru list when navigating and store last file position
|
2024-04-09 21:44:40 +02:00 |
|
|
|
695b0dbff5
|
feat: add cross file location history support
Also, this improves the location history storage to be simpler and provide much
more intuitive navigation.
|
2024-04-09 18:15:53 +02:00 |
|
|
|
29f31f122c
|
fix: don't reload when navigating locally in the current file
|
2024-04-08 22:26:25 +02:00 |
|
|
|
a404f6e768
|
fix: destroy editor before creating a new one
Editor lifetimes should not overlap otherwise we run into duplicate command
issues.
|
2024-03-31 21:03:23 +02:00 |
|
|
|
acabb20785
|
fix: abort navigate if there are unsaved changes
|
2024-03-27 21:11:47 +01:00 |
|
|
|
4b86579745
|
refactor: replace unsafe unreachable usage with @panic
|
2024-03-24 20:12:59 +01:00 |
|
|
|
28178d8871
|
refactor: store/retrieve project_manager ondemand from actor environment
|
2024-03-22 20:58:51 +01:00 |
|
|
|
602a4dff01
|
feat: WIP add project manager service
The project manager service will provide fuzzy find, LRU, and similar
background services for open projects.
|
2024-03-21 22:54:41 +01:00 |
|
|
|
a056a54104
|
feat: add cli option to open the log view on startup
|
2024-03-21 22:48:49 +01:00 |
|
|
|
2f9a0e2eb0
|
refactor: button, menu and widget stack apis
|
2024-03-18 22:29:29 +01:00 |
|
|
|
8f360c8f28
|
feat: add Button widget and use it to build a menu with mouse support on the home screen
|
2024-03-06 00:44:43 +01:00 |
|
|
|
21bac1ab0c
|
feat: add cli option to open the input view on start
|
2024-02-29 09:50:25 +01:00 |
|
|
|
4ece4babad
|
Initial public release
|
2024-02-29 00:00:15 +01:00 |
|
