|
|
38236bd93a
|
refactor: Buffer.Manager.get_buffer_for_file can be const
|
2025-08-13 14:40:59 +02:00 |
|
|
|
991c47f3b3
|
feat: restore buffer manager state on restart
|
2025-08-07 18:02:55 +02:00 |
|
|
|
c88e2dd975
|
fix: don't leak Buffer.file_path
|
2025-08-05 15:24:18 +02:00 |
|
|
|
e6e0301a78
|
feat(buffers): save/restore full editor state on buffer switch
|
2025-01-29 23:03:34 +01:00 |
|
|
|
b45b5910ee
|
feat(buffers): save and restore editor metadata on buffer switch
|
2025-01-29 20:56:56 +01:00 |
|
|
|
939537ed84
|
feat(buffers): add support for ephemeral buffers
Ephemeral buffers are not hidden and kept when closed. Ephemeral buffers
can be turned into regular buffers by saving them with save_as.
|
2025-01-27 18:59:13 +01:00 |
|
|
|
4d3d91a744
|
feat(buffers): add support for buffer references
|
2025-01-26 21:06:51 +01:00 |
|
|
|
5e6fc6a932
|
feat(buffers): use buffer_manager to select most recent files
And remove obsolete file_stack.
|
2025-01-24 23:22:31 +01:00 |
|
|
|
d7b48b40f1
|
feat(tabs): start work on a tabbar widget
|
2025-01-23 22:32:08 +01:00 |
|
|
|
0a632416a4
|
feat(buffers): add delete_buffer command and keybinding for buffer_palette
|
2025-01-22 22:23:56 +01:00 |
|
|
|
3f06f6b19c
|
feat(buffers): add buffer switcher
|
2025-01-21 22:32:43 +01:00 |
|
|
|
efb3ab42fd
|
feat(buffers): add tracking of last modified and last used times for buffers
|
2025-01-21 21:59:55 +01:00 |
|
|
|
aa1e0674cc
|
feat(buffers): move buffer lifetime management to new Buffer.Manager module
|
2025-01-21 21:42:36 +01:00 |
|
