SingleFile for Safari

The characters that cannot be used in a file name, and what they are replaced with, can now be edited in the options, with a preview and a button to restore the defaults. The animation of the bar added to a saved page can now be turned off. The option that saves the address the page came from now has a checkbox on the options page. The marks showing the progress of a save are readable again when the browser uses a dark color scheme. An option in the editor settings was displayed without its label. A resource the server refuses is no longer requested a second time. The columns of the automatic settings table are named for what they hold, and a name too wide for its column is shown in full when the pointer rests on it. Several translations are corrected, and the Chinese help page documents the options that were missing from it. An italic font declared with a slant angle is kept, instead of being removed as unused. A file name shortened to the maximum length keeps its complete extension.