Feature Requests item #945416, was opened at 2004-04-30 16:44
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=945416&group_id=44253
Category: Definitions (source editor)
Group: Unknown size
Status: Open
Priority: 5
Submitted By: Jonathan Lugo (jeloguy15)
Assigned to: Nobody/Anonymous (nobody)
Summary: Bookmarks for DrJava
Initial Comment:
When working on code that's more than 1000 lines, it's
often nice to be able to set bookmarks to certain lines
of code so that it's easy to switch back and forth
between two methods you're working on. Currently I
find myself having to do a text search for one method
only to find myself, in one or two minutes, searching
for the method I was just working on before. Maybe we
can add a bookmarks menu at the top and possibly map a
keystroke to it.
I think it's good enough to only hold bookmarks around
as long as the file is listed in the open documents
list. That would mean we don't have to make drjava
save the info. I admit, though, it would be nice to be
able to save them (kind of like the recent documents
list in the file menu but with line numbers and
user-defined descriptions).
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=945416&group_id=44253
|