ajaxorg/cloud9 — pull request #1677 by javruben (2012-06-07 03:16:14+00:00)
Title: Issue/1506

Fixes ajaxorg/cloud9infra#1506.

@gjtorikian I would recommend that you change this to a cancellable event. Do something like

if (ide.dispatchEvent("panels.activateDefault") !== false) {
// Rest of the code
}

and then in remote control hook that event and return false in the handler.