Hi,Something changed recently in P7 in the theme or so, there is now a frame around the ToolDockingBarMorph.
As I don't know how to track the changes occurring in P7, any one has an idea about what happen? (we do not have anymore timestamp on method, or do I miss something?
DrGeo GUI is odd, see screenshot? Hilaire -- Dr. Geo http://drgeo.eu
