В общем, мои исследования в области файловых менеджеров с нужной мне функциональностью вывели меня на следующее:
- Есть патч для древнего pcmanfm который в точности реализует нужное - https://sites.google.com/si...nfm-filter-bar-patch
- есть старое обсуждение в рассылке pcmanfm - http://comments.gmane.org/g...top.lxde.pcmanfm/423 Внимательно не читал, но походу это то, что есть в последнем pcmanfm-gtk по Ctrl+E
- Ещё нашёл вот такой свежий фич-реквест на гитхабе для pcmanfm-qt https://github.com/lxde/pcmanfm-qt/issues/131 на который никто не откликнулся, к сожалению.
Из поисков могу сделать вывод, что из легковесных классических FM живёт только pcmanfm. ROX давно сдох, автор spacefm (pcmanfm-mod в девичестве) пишет, что разработка теперь ведётся в slow-mode, stuurman (форк pcmanfm oт geekless) тоже сдох походу, хотя последнее обновление пкгбилдов автором в AUR было сделано в феврале этого года, но оффсайт не отвечает.