Tue Feb 21 16:00:08 WET 2006 Miguel Vilaca <jmvilaca@di.uminho.pt>
* VisiblePalette and open document bugs fixed
Until now, changing the palette didn't implied that only the new shapes were displayed in the visible palette. Now the old shapes are removed and all the new shapes and only this are displayed in the visible palette.
Now during the opening of a saved document the visible palette is updated to the one saved in that document.
{
hunk ./src/NetworkUI.hs 590
+ ; buildVisiblePalette state
hunk ./src/NetworkUI.hs 677
+
+ -- its necessary to delete the old elements in the panel
+ ; windowChildren pp >>= mapM objectDelete
}