Filter options #16
Description
It may be helpful to support a basic filter option which could be activated via /.
When activated the user's keystrokes are feed into filter expression that updates the windowed view live.
Filter entry completed upon pressing ENTER.
When the list is filtered, the first column is renamed with a (Filtered) prefix.
The filter could be edited by pressing / again and then deleting the current set of characters displayed to the user.