I like the history tab, but let me explain how I use it, I ctl-A (To select everyting), click the clip board button, open a text editor, paste and then do a search, it would be nice if in some future enhancement we could get a search added in the button area at the bottom of the history tab. I could paste it in the text area of navigator, but navigator then parses everything and this is a lengthy operation. I could turn off parsing but it’s just easier to paste into a generic text editor… If there is a better way of doing this I am certainly open to suggestions.
We got a similar request a while ago and it had been added to the list of enhancement requests. At the moment, there’s no other way to search for the SQL except for the ones you pointed out.