gpb01:
... quindi sono tornati ad un vecchio default. A me va meglio così, ma chi vuole ha la soluzioneGuglielmo
e per me che non sono così vecchio?
EDIT
comunque, fino a che non risolvono, si potrebbe mettere alla riga 57
preferences.readonly=true
invece che false, in questa maniera lo IDE non altera il file di preferenze, che si deve per forza editare a mano