[R-SIG-Mac] Filter command history

[Timothy Bates]

Is it appropriate to make suggestions for R.app here?


I think the value of the command history would be greatly enhanced if a
search box was added (probably as the last line in the command history),
such that text entered into the box filters the command list for matching
commands.


You can see how this would look by going to Safari:

1. type cmd-opt-B to open the book marks window
2. type some text in the search filter box at the bottom of the window

It does a live filter based on finding your text in the url and name of
bookmarked and history pages.