Add option to reopen the document with the saved encoding when opening with a different encoding. 
Add option to reopen the document with the saved encoding when opening with a different encoding. 

JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim