make sure web console displays and hides usefully (even on 17)
authorRobert Kaiser <kairo@kairo.at>
Sun, 26 Aug 2012 02:27:06 +0000 (04:27 +0200)
committerRobert Kaiser <kairo@kairo.at>
Sun, 26 Aug 2012 02:27:06 +0000 (04:27 +0200)

No differences found