I have published a minor update to my text editor. The changes made between the previous version 3.1.1 and the new version 3.1.2 mainly address quality issues:

• The application no longer crashes if you try to reload (File/Reload or Encoding/*) a file that is locked by another process.

• The Application Error dialog box now contains an option to terminate the process, optionally saving all open text buffers (tabs) to a backup folder first.

• The Compare Buffers dialog box now looks good even without Windows’ visual themes enabled.

• Two minor documentation bugs fixed.

• Minor issues fixed.