ajaxorg/cloud9 — pull request #2362 by janjongboom (2012-10-26 13:01:52+00:00)
Title: [Liskov] Statusbar hiding/showing improvements

This PR fixes the statusbar disappearing plus the cases that the statusbar doesn't show the line numbers.

@ajaxorg/liskov