Der neue Domino Designer basiert ja auch Eclipse und bietet für uns Entwickler viele praktische Neuerungen. Dazu gehören auch einige Navigationstricks, wie zum Beispiel der Strg-Klick auf ein Objekt, um dadurch zu dessen Definition zu gelangen.

Jake Howlett hat das schön in einem Blog-Posting dokumentiert.