ajaxorg/cloud9 — pull request #1448 by javruben (2012-05-08 19:05:48+00:00)
Title: * Fix run panel button caption not changing

@janjongboom @fjakobs

A proper PR.

Fixes ajaxorg/cloud9infra#1064