Le 12/02/2018 à 11:18, Jean-Marc Lasgouttes a écrit :
Le 10/02/2018 à 22:24, Jean-Marc Lasgouttes a écrit :
I can propose something simple on Monday: remove from GUI (like we do in Linux) and always act as if the pref is off.


Here is what I had in mind. I discovered that the checkbox was not hidden but disabled on Linux. I added code to hide it and ignore it.

This seems simple enough, but of course should be checked by Mac/Win people.

Also, can someone confirm that hiding the checkbox is harmless?

JMarc

Reply via email to