Halve window size should unset window is maximized flag

[Janek Kozicki <janek_listy wp pl>]

After upgrading to 1.6 I noticed a neat function "Halve window size".

To obtain a window at exactly half the screen size I first maximize,
then halve it's size. Problem is that after this operation the
"maximized flag" remains true, and I cannot move the window around.

-- 
Janek Kozicki                                                         |