To: checker at d6.com
Cc: lablgtk at kaba.or.jp
Subject: Re: resize event?
In-Reply-To: <4.3.2.7.2.20010104221337.00c74e70 at shell16.ba.best.com>
References: <4.3.2.7.2.20010104221337.00c74e70 at shell16.ba.best.com>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20010105171038J.wakita at is.titech.ac.jp>
Date: Fri, 05 Jan 2001 17:10:38 +0900
From: Ken Wakita <wakita at is.titech.ac.jp>
Lines: 22


I am not a GTK expert either.  Weeks ago I experienced similar on
Linux/Xfree86 for VMware/WindowMaker platform and reported to this
list.  My work around for drawing.ml shown below has been included in
the latest distribution.

let _ =
  window#connect#destroy ~callback:Main.quit;
  window#event#connect#after#configure ~callback:redraw;
  window#event#connect#after#expose ~callback:redraw;
  Main.main ()

Hope it helps but please don't ask me why this works when it worked.

Ken Wakita

In message (<4.3.2.7.2.20010104221337.00c74e70@shell16.ba.best.com>)
from Chris Hecker <checker@d6.com>,
talking about "resize event?",
on Thu, 04 Jan 2001 22:20:28 -0800

> Hi, I'm not a GTK expert, so forgive me if this is a stupid question:  is there no resize event?  All of the example programs (on Win98) clear the window on resize and it stays blank.  If I grab the title bar and move the window, the app repaints.  This happens on drawing.ml and image.ml, for example.