ajaxorg/cloud9 — pull request #1273 by mattpardee (2012-04-12 21:14:51+00:00)
Title: Rescales the tab when a page is closed via keybinding

@javruben