In Version V1 there is indeed inconsistency's when changing preference settings. These are fixed in V2 beta (Arduino IDE 1.5.2 beta only)
Best regards
Jantje
In Version V1 there is indeed inconsistency's when changing preference settings. These are fixed in V2 beta (Arduino IDE 1.5.2 beta only)
Best regards
Jantje