4 Commits (f2b9988c95fb2e522b55d81d05ec281c2cddfc0a)

Author	SHA1	Message	Date
Timothy Stack	49dce3cec2	[readline] fix escaping out of prompt	6 years ago
Timothy Stack	5c6cc5fe2a	[readline] pressing escape should exit the command prompt ... Fixes #316	6 years ago
Timothy Stack	efe6ccf0d1	[filter] change from backquote to tab for activating filter panel	6 years ago
Timothy Stack	2345a32423	[filter] add panel that shows the set of filters ... Initial version, still needs some cleanup	6 years ago