231b77e6c0
Make sort order changes update iteration order
2022-01-07 16:30:47 +01:00
235af37382
Handle middle mouse clicks on breadcrumbs
...
Also, don't act on button releases happening outside the widget.
2022-01-07 05:33:33 +01:00
e70bb20934
Improve toolbar hiding
2022-01-07 03:34:32 +01:00
bb67df716c
Mildly improve Ubuntu 20.04 compatibility
2022-01-06 08:39:33 +01:00
4cd2978e21
Add a keyboard shortcut for filtering
2022-01-06 06:59:30 +01:00
5abf6a719f
Add UI for sort order settings
2022-01-05 10:54:36 +01:00
6142bf9c53
Automount from location input
2022-01-05 06:40:39 +01:00
244779bd8c
Factor out make_browser_sidebar()
...
It's a very mild improvement, but an improvement nonetheless.
2022-01-05 05:17:18 +01:00
685defa684
Rename the whole project shorter
...
There is no point in claiming speed, it turns out to be a strange focus
to have, considering the amount of available innovations to make.
The new name does not appear to be taken by anything important.
2022-01-05 04:45:46 +01:00
