Yes, it happens on two images. One fresh P7 where I installed GToolkit and DrGeo then use its tonel repo (save changes). And the other one from the GToolkit image download from gtoolkit.org and installed DrGeo then use its tonel repo (save changes)
I don't use trait in DrGeo. Hilaire Le 15/01/2019 à 10:17, Denis Kudriashov a écrit : > Can you reproduce it? -- Dr. Geo http://drgeo.eu
