added support for mousetrap (if it is loaded). Added a search filter for the navigation.