[racket-dev] "bookmarks" in drracket?

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Sat Feb 4 17:32:38 EST 2012

On Sat, Feb 4, 2012 at 5:28 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I think jumping between files is an important usecase. (it isn't much harder
> than jumping within a file;et me know if you want API guidance).

Ok so there should only be one global stack then? Where should the
bookmarks be stored then?


>
> Robby
>
>
> On Saturday, February 4, 2012, Stephen Chang <stchang at ccs.neu.edu> wrote:
>>> Since jumping to a definition will sometime open a new window.
>>
>> Is this true in drracket? It doesnt seem like it is. I have a new
>> implementation where bookmarks are a text mixin, so each tab will have
>> it's own stack. But there is no jumping between windows.
>>
>>
>>
>> On Sat, Feb 4, 2012 at 5:00 PM, Guillaume Marceau <gmarceau at gmail.com>
>> wrote:
>>> Note that the "Bookmark" features are almost always separate from the
>>> "Long Jump" features, both in key binding and in nomenclature.
>>>
>>> In Visual Studio:
>>>  Jump to definition: F12
>>>  Jump back on the stack: C-*
>>>  Jump forward on the stack: C-&
>>>
>>>  Toggle a bookmark: C-k C-k
>>>  Jump to next bookmark: C-k C-n
>>>  Jump to previous bookmark: C-k C-n
>>>
>>> In Eclipse:
>>>  Jump to definition: F3
>>>  Jump back on the stack: A-left
>>>  Jump forward on the stack: A-right
>>>
>>>  By default, Eclipse doesn't have keyboard shortcut for its
>>> bookmarking feature, but some people use
>>>  Toggle a bookmark: C-b
>>>  Jump to next bookmark: C-n
>>>  Jump to previous bookmark: C-p
>>>
>>> In Emacs (using the built-in tagging functionality):
>>>  Jump to definition: M-.
>>>  Jump back on the stack: M-*
>>>  Jump forward on the stack: not available
>>>
>>>  Toggle a bookmark: C-x r m
>>>  Jump to next bookmark: C-x r j
>>>  Jump to a different bookmark (from a list): C-x r l
>>>
>>> I don't remember any having a visual display of the stack. I don't
>>> remember any saving the stack across sessions. Some save bookmarks, or
>>> save them them, but only if you ask.
>>>
>>> To make the stack feature work, it is essential that it jump across
>>> windows. You want M-. followed by M-* to cancel each other.
>>


Posted on the dev mailing list.