ajaxorg/cloud9 — pull request #2478 by lennartcl (2012-11-19 08:51:35+00:00)
Title: [Liskov] Improved Jump to Definition

This extends the jump to definition API to support multiple definitions and make the column optional and what not.

It also adds more visual feedback:
- editor starts spinning once you trigger Jump to Definition
- cursor moves if no definition is found to jump to

@ajaxorg/liskov