Le 13/07/2017 à 10:01, Denis Kudriashov a écrit : > What exactly you are implementing? Browsers to edit Dr. Geo user script. Explained in a previous mail of this thread. The idea is to show the user the strict minimum, to reduce confusion.
Hilaire -- Dr. Geo http://drgeo.eu
