Workaround bug menu su Windows (fixes #9), aggiungendo funzione Paint.refreshMenu(). Comunque, da indagare.