ajaxorg/cloud9 — pull request #2099 by giannis (2012-08-24 12:56:34+00:00)
Title: * fix wrong dg id in extension manager window

* fix an error in marker.js when no editor is open

There was no issue for those
just found them and fixed them

@ajaxorg/dijkstra