зеркало из https://github.com/mozilla/pjs.git
Dont move dead widgets.
Thanks to Dirk Laessig <d.laessig@tu-bs.de>
This commit is contained in:
Родитель
1c1a122067
Коммит
2ccdbc615d
|
@ -480,7 +480,11 @@ _XfeResizeWidget(Widget w,int width,int height)
|
|||
/* extern */ void
|
||||
_XfeMoveWidget(Widget w,int x,int y)
|
||||
{
|
||||
assert( _XfeIsAlive(w) );
|
||||
/* Make sure the widget is alive */
|
||||
if (!_XfeIsAlive(w))
|
||||
{
|
||||
return;
|
||||
}
|
||||
|
||||
#if 0
|
||||
printf("_XfeMoveWidget(%s,%d,%d)\n",XtName(w),width,height);
|
||||
|
|
Загрузка…
Ссылка в новой задаче