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. _______________________________________________ R-SIG-Mac mailing list [email protected] https://stat.ethz.ch/mailman/listinfo/r-sig-mac
