|
|
ee6582b469
|
fix: resize handling corrections
|
2024-06-08 20:10:17 +02:00 |
|
|
|
b15fa47f30
|
refactor: add renderer abstraction layer
|
2024-05-09 11:48:33 +02:00 |
|
|
|
b541fd42de
|
fix: don't prevent same file navigation if buffer is dirty
|
2024-04-19 22:11:04 +02:00 |
|
|
|
e41c2d34f7
|
feat: render diagnostics (part 1)
|
2024-04-17 23:26:19 +02:00 |
|
|
|
939a70b249
|
feat: add file_stack and return to previous file on file close
|
2024-04-17 19:02:32 +02:00 |
|
|
|
49d6ee94fc
|
refactor: simplify and clean-up navgate command
This should also prevent get_mru_position and location_jump from stomping
on each other.
|
2024-04-15 19:50:11 +02:00 |
|
|
|
9aea1f54f5
|
feat: allow runtime changing of the gutter mode
|
2024-04-10 22:12:19 +02:00 |
|
|
|
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 |
|
