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
Also, can someone confirm that hiding the checkbox is harmless?