|
|
38c7030b0f
|
mention path in tooltips
|
2023-02-20 19:28:45 +11:00 |
|
|
|
31b8524fe6
|
Add tooltips for discarding
|
2023-02-20 19:28:45 +11:00 |
|
|
|
0ae34aeeb7
|
Make discarding items less error prone
The menu is opened by `d` so this makes it harder to mess things up by
accidentally pressing `dd`.
|
2023-02-20 19:28:45 +11:00 |
|
|
|
6f8063217d
|
rename displayString to label for menu items
|
2022-05-08 14:26:18 +10:00 |
|
|
|
3e5d4b2c74
|
add menu keybindings for various things
|
2022-03-27 18:16:16 +11:00 |
|
|
|
d93fef4c61
|
use generics to DRY up context code
|
2022-03-19 12:12:57 +11:00 |
|
|
|
8a555dd62e
|
refactor
|
2022-03-17 19:13:40 +11:00 |
|
