SettingsDialog.st
changeset 18739 af38bbca6ccd
parent 18538 59d86bc7659f
child 19075 02103f152957
equal deleted inserted replaced
18738:06bf06615012 18739:af38bbca6ccd
   681     [
   681     [
   682         UserPreferences current saveIn:file.
   682         UserPreferences current saveIn:file.
   683     ] on:StreamError do:[:ex|
   683     ] on:StreamError do:[:ex|
   684         self warn:(self resources 
   684         self warn:(self resources 
   685                 stringWithCRs:'Cannot save settings into: %1\(%2)' 
   685                 stringWithCRs:'Cannot save settings into: %1\(%2)' 
   686                 with:(file asFilename asAbsoluteFilename asString) 
   686                 with:file asFilename pathName 
   687                 with:ex description).
   687                 with:ex description).
   688     ]
   688     ]
   689 
   689 
   690     "Modified: / 27-02-2018 / 10:58:49 / stefan"
   690     "Modified: / 27-02-2018 / 10:58:49 / stefan"
       
   691     "Modified (format): / 11-04-2019 / 18:11:34 / Stefan Vogel"
   691 !
   692 !
   692 
   693 
   693 saveSettingsWithoutAskingForFile
   694 saveSettingsWithoutAskingForFile
   694     self saveSettingsAsDefaultSettings.
   695     self saveSettingsAsDefaultSettings.
   695 ! !
   696 ! !