Would it be useful in Find Text (and similar) for the "Text to find"
history to include the options? For example, if you pull up a prior Text
that was a regular expression, the options would change accordingly. I
am considering filing a feature request but wanted to see what others