#206 Selection-specific replace-all

[Jonathan Lugo]

Here's the Story:
The user wishes to change all the variables 'n' in a
method to 'exp'. The user then selects the appropriate
region of text, enters the correct info into the find
and replace text boxes, and hits replace-all. Only the
n's in the selection are changed, and DrJava brings up
a dialog asking whether to continue with the rest of
the document. The user selects "No" and that's it.
(It would be nice to be able to enable/dissable this
feature in either the preferences page or the
find/replace pane, preferably in the preferences page).