save/restore window size
authorJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 3 May 2013 19:32:03 +0000 (19:32 +0000)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 3 May 2013 19:32:03 +0000 (19:32 +0000)

No differences found