comparison gui/ui/pixmaps/file2.xpm @ 33953:4721b1537f80

Don't map the window after resizing. There is no reason to do so.
author ib
date Thu, 01 Sep 2011 18:22:58 +0000
parents 520fb0f7544c
children
comparison
equal deleted inserted replaced
33952:75b858ef3666 33953:4721b1537f80