codalab/codalab — pull request #337 by irjudson (2014-02-10 21:36:39+00:00)
Title: Editor updates

There is still a trail of commits I can't figure out why they are in the PR but the editor changes are in here and working.