Merge pull request #855 from sje397/ToggleHide
authorWladimir J. van der Laan <laanwj@gmail.com>
Thu, 12 Apr 2012 06:02:18 +0000 (23:02 -0700)
committerWladimir J. van der Laan <laanwj@gmail.com>
Thu, 12 Apr 2012 06:02:18 +0000 (23:02 -0700)
Toggle UI hide


Trivial merge