FilterWidget: make toggle action available as shortcut.
No default shortcut is set, but people can enable a shortcut if they want now.