Right now there is only one reason I ever leave drjava,
and its because i cant search or search and replace text
across more than the open file. If this could be done,
your control over my IDE usage would be complete :)
Suggestion for the UI: Add another checkbox to the
Find/Replace pane called "All Open Documents" (or
somesuch). If that box is checked, searches will not wrap
on individual files, but instead search the next doc in the
order displayed in the doc list. Reaching the end of the
last document would wrap to the first. I think this should
default to off, but should be saved and restored as a
config option.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This feature is about to be committed.
I don't think it's desirable to give this a config option
because I've occasionally confused myself by checking the
checkbox, searching for something across all documents, then
later trying to find normally and unexpectedly switching
documents since I normally only search within one document.
This could happen to users on startup the first time they
try to find something. If there is a good reason for users
to start with searching all documents on, then we could add
an option, but I see this feature as being used in specific
situations such as refactoring.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=431096
Suggestion for the UI: Add another checkbox to the
Find/Replace pane called "All Open Documents" (or
somesuch). If that box is checked, searches will not wrap
on individual files, but instead search the next doc in the
order displayed in the doc list. Reaching the end of the
last document would wrap to the first. I think this should
default to off, but should be saved and restored as a
config option.
Logged In: YES
user_id=557360
This feature is about to be committed.
I don't think it's desirable to give this a config option
because I've occasionally confused myself by checking the
checkbox, searching for something across all documents, then
later trying to find normally and unexpectedly switching
documents since I normally only search within one document.
This could happen to users on startup the first time they
try to find something. If there is a good reason for users
to start with searching all documents on, then we could add
an option, but I see this feature as being used in specific
situations such as refactoring.
Logged In: YES
user_id=557360
This feature is implemented in drjava-stable-20030822.