ajaxorg/cloud9 — pull request #1953 by giannis (2012-07-17 15:16:11+00:00)
Title: * add minimum width option in dockpanels

@linh81 or @zefhemel