Va bene, ma a logica mi viene da pensare più che sia un bug comune che invece un qualcosa che si presenti solo su tre terminali (almeno quelli emersi in questo thread). Ma, ho già detto, può darsi che non sia così, e che voi non lo abbiate davvero. Vedremo col prossimo aggiornamento se si risolve.