dirs
|
display workdir in header if used
|
2024-06-30 20:01:36 -07:00 |
files
|
sorting preserves selection state
|
2024-07-15 15:32:33 -07:00 |
filter
|
revert filter.showhidden to filter.ignorehidden
|
2024-07-03 10:17:08 -07:00 |
tables
|
sorting preserves selection state
|
2024-07-15 15:32:33 -07:00 |