It would be nice to have a way in the Visual Studio Dafny IDE to go to the definition of something (by, say, putting the cursor on an identifier and pressing F12).
Comments: Put the cursor on an identifier and right click mouse, the "GoTo Definition" item will show up in the context menu.
Comments: Put the cursor on an identifier and right click mouse, the "GoTo Definition" item will show up in the context menu.