Hi Everybody, Just another quick note about the new panelbar widget- it implements the "margin" theme property now, however the existing themes were designed assuming that margin would always be zero. I have added "margin = 0;" to the panelbar object on all the themes (i think). New theme source is in CVS, and theme binaries are at http://picogui.org/themes as usual.
--Micah _______________________________________________ Pgui-devel mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/pgui-devel
