changing file resets the display-notation ref, but not the GUI tick
mettere una maction in tutti i body (ma forse non basta)