juju/juju-gui — pull request #457 by huwshimi (2014-07-25 11:15:13+00:00)
Title: Set deployer heights by percent

New deployer bar heights as per UX request.