Date: Wed, 30 Oct 2002 10:41:39 +0100 From: Maxence Guesdon To: "SooHyoung Oh" Cc: lablgtk at kaba.or.jp Subject: Re: Some gToolbox fix Message-Id: <20021030104139.4d8f7334.maxence.guesdon at inria.fr> In-Reply-To: <004a01c2629b$9d5288c0$fe00a8c0 at hama> References: <004a01c2629b$9d5288c0$fe00a8c0 at hama> Organization: INRIA Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Hi, > (1) I think I found some bugs in gToolbox.ml. These bugs were mine. I apologize :-) > If we use width height for GTree.tree, > it makes some limitation for viewing large tree. > This is the diff. Thanks, this is fixed. > (2) There seems to be some inconsitency in names or some bugs. > In GToolbox.popup_menu two arguments (x and y) seem to be used for location > but in menu#popup the first is used for "button" and the second is for > "time". > Which one did you intend? Without reason I always thought that the two integer arguments were the position of the menu. Now the popup_menu function has the correct type : val popup_menu : entries: menu_entry list -> button: int -> time: int -> unit These fixes will appear in the next snapshot/release. Thanks for your report, -- Maxence Guesdon