July 13, 2017
8:21 a.m.
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