diff mde/gui/widget/AParentWidget.d @ 179:1f9d00f392bd default tip

Fixed a bug where (non-resizible) widgets wouldn't get shrunk when minimal size decreases, meaning optional context menus are hiden properly now. Optimised when ServiceContentList.opCall is called, I think without breaking anything.
author Diggory Hardy <diggory.hardy@gmail.com>
date Tue, 15 Sep 2009 20:09:59 +0200
parents af40e9679436
children
line wrap: on
line diff
--- a/mde/gui/widget/AParentWidget.d	Tue Sep 15 10:36:37 2009 +0200
+++ b/mde/gui/widget/AParentWidget.d	Tue Sep 15 20:09:59 2009 +0200
@@ -89,11 +89,11 @@
     // Most parent widgets need to implement these, although not all
     // They must at a minimum make sure widget's size is at least nmw by nmh.
     public  override void minWChange (IChildWidget widget, wdim nmw) {
-	if (widget.width < nmw)
+	if (!widget.isWSizable || widget.width < nmw)
 	    widget.setWidth (nmw, -1);
     }
     public override void minHChange (IChildWidget widget, wdim nmh) {
-	if (widget.height < nmh)
+	if (!widget.isHSizable || widget.height < nmh)
 	    widget.setHeight (nmh, -1);
     }