Message-ID: <3BE6FDDC.4050603 at inria.fr>
Date: Mon, 05 Nov 2001 16:00:12 -0500
From: Maxence Guesdon <maxence.guesdon at inria.fr>
MIME-Version: 1.0
To: lablgtk at kaba.or.jp
Subject: Problem with GTree.tree
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

Hi,

i have a problem when i remove the last item of a tree.
The following code shows the problem :


let _ = GMain.Main.init ()
let window = GWindow.window ()
let tree = GTree.tree ~packing: window#add ()
let item = GTree.tree_item ~label: "item" ()
let _ = tree#append item
let sub = GTree.tree ()
let _ = item#set_subtree sub
let _ = item#expand ()
let item2 = GTree.tree_item ~label: "item2" ()
let _ = sub#append item2
let _ = match item#subtree with
   None -> prerr_endline "no subtree for \"item\" !"
| Some wt -> prerr_endline "still some subtree for \"item\""
let _ = sub#remove_items [item2]
let _ = match item#subtree with
   None -> prerr_endline "no subtree for \"item\" !"
| Some wt -> prerr_endline "still some subtree for \"item\""
let _ = window#show ()
let _ = GMain.Main.main ()

So i create a subtree with an item2 in it.
I remove the item2 from the subtree, and
at this moment the subtree is removed from its parent item !
Is it a bug ?

--
Maxence Guesdon