How is this specific user opening the one note file? It seems that he or she is clicking a .one file in the file explorer. OneNote should be opened by default. It could be that the appropriate reg key for opening files has been disrupted.

Maurice