Comment 19 for bug 310752

Related to bug #139829 (but not identical). The other bug describes a problem where maximizing and unmaximizing a window makes it forget its original dimensions, depending on whether the double-click-titlebar or the maximize button is used.