#331 Next/Previous Match Keys for Current RegionsTreePanel

closed
5
2009-10-30
2008-06-25
No

There should be keyboard shortcuts that move the cursor to the next or the previous region in the currently selected RegionsTreePanel.

RegionsTreePanels are, at the moment, the "Breakpoints", "Bookmarks" and "Find All" panes.

Using those shortcuts, for example, it would be easy to do a "Find All" for a certain string and then navigate from one match to the next, as long as the "Find All" pane for that string is selected.

Discussion

  • Mathias Ricken

    Mathias Ricken - 2009-10-30

    This has been implemented in the current SVN version of DrJava. It should make its way into a stable release soon. If you would be willing to help us test this feature, post a comment here.

    Thanks,
    The DrJava Team

     
  • Mathias Ricken

    Mathias Ricken - 2009-10-30

    Implemented as of revision 5125.

    Added "previous" and "next" buttons for regions tree panels
    (breakpoints, bookmarks, find results). Edit/Tabbed Panes
    menu items.

     
  • Mathias Ricken

    Mathias Ricken - 2009-10-30
    • assigned_to: nobody --> mgricken
    • status: open --> closed