2012/8/3 <[email protected]> > It looks like a bug to me, so I decided to post it here.
I'm not sure about this one. Usually when you have a GUI with checkboxes and buttons to manipulate them, only the visible ones should be affected. -- *Andrea Lazzarotto* - http://andrealazzarotto.com* * -- -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
