Мой гугл-фу подвел меня. Как я могу удалить виджеты, которые я добавил в Panel ()
? Например, в следующем разделе я хочу, чтобы панель controls
снова стала пустой.
buildGUI = do
f <- frame [ text := "Hello" ]
controls <- panel f []
ctext <- staticText controls [ text := "Foo" ]
set controls [ layout := margin 5 (widget ctext) ]
set f [ layout := widget controls ]
{- delete ctext ? How? -}
return ()
(я пытаюсь создать динамический графический интерфейс, и мне нужно избавиться от старых элементов управления при его обновлении).