Is the new directory filtering feature unfinished? Because it certainly
has some bugs. Here is a short patch to fix them:
* Initialize filer_window->filter_directories properly.
* Inherit filter_directories when inheriting settings from the source
* Update the toggle menu item before showing the menu.
(TODO: Save/restore this setting when saving/restoring display settings?)
PS.: I'm sorry if this message got/gets duplicated. I had some trouble with
my free email providers...