SavePrefsFile :: !{#Char} !Prefs !*Files -> (!Bool, !*Files); SavePrefsFile prefsPath prefs files #! (opened, file, files) = fopen prefsPath FWriteText files | not opened = (False, files) #! options = WriteTable prefs #! file = WriteOptionsFile PrefsFileVersion options file = fclose file files