ajaxorg/cloud9 — pull request #2316 by lennartcl (2012-10-12 13:47:05+00:00)
Title: Fix jump to def not working in a worker

@janjongboom @zefhemel