#171 Find/Replace in all open files


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 :)

-- Matt


  • Peter Centgraf

    Peter Centgraf - 2003-08-07

    Logged In: YES

    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.

  • James Hsia

    James Hsia - 2003-08-11

    Logged In: YES

    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.

  • James Hsia

    James Hsia - 2003-08-28
    • assigned_to: nobody --> jhsia
    • status: open --> closed
  • James Hsia

    James Hsia - 2003-08-28

    Logged In: YES

    This feature is implemented in drjava-stable-20030822.


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks