June 9, 2018
7:01 a.m.
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
