ajaxorg/cloud9 — pull request #978 by gjtorikian (2012-02-23 01:01:37+00:00)
Title: UI Fixes for save on close + new tab functionality

Per feedback from @javruben :

1. The dividers are correct now in the tab menu
2. The "Save?" dialog now trims all the workspace stuff