Jump to declaration UI

[David Nolden]

On Thursday 08 May 2008 10:47:13 you wrote:
> > and
> > else the language toolkit. But we should always show the language tooltip
> > when CTRL is pressed, that way you could always get it when you want the
> > information.
>
> Hmm, are you suggesting that with Ctrl, both the names becomes hyperlink,
> and you get a language tooltip for symbols? I was thinking that with Ctrl,
> symbols should becomes hyperlink, plus, there should appear a small "down"
> button next to the symbol, pressing which will popup a menu with various
> interesting operations.

Sounds cool. The only important thing to me is that somehow the 
navigation-widget should be accessible through the mouse, so you can jump to 
uses, see the documentation, etc.. if you need it while the debugger is 
active.
That could then be implemented through an item in the "down" button.