“Save All” does not work because it does not prompt to choose a new encoding method. In
fact, “Save All” does not seem to do anything. I am guessing because it does not detect
any changes have been made to the files.
On Jan 10, 2016, at 3:29 AM, Berend Hasselman
menu File, Save All? It even has a shortcut.