UserPreferences.st
changeset 18920 e3e4d06dcc6c
parent 18871 8ba61705c02e
child 18922 aee337248062
--- a/UserPreferences.st	Wed Nov 18 13:21:24 2015 +0100
+++ b/UserPreferences.st	Thu Nov 19 12:06:44 2015 +0100
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -4609,6 +4607,30 @@
     "Created: / 03-07-2006 / 16:50:20 / cg"
 ! !
 
+!UserPreferences methodsFor:'accessing-prefs-external tools'!
+
+osFileExplorerCommand
+    "return an OS command template to open a finder/explorer or similar"
+
+    ^ self at:#osFileExplorerCommand ifAbsent:nil
+!
+
+osFileExplorerCommand:aString
+    "define an OS command template to open a finder/explorer or similar"
+
+    self at:#osFileExplorerCommand put:aString
+
+    "
+     UserPreferences current osFileExplorerCommand
+     
+     osx:
+     UserPreferences current osFileExplorerCommand:'open %1'
+     
+     linux:
+     UserPreferences current osFileExplorerCommand:'nautilus %1'
+    "
+! !
+
 !UserPreferences methodsFor:'accessing-prefs-files and directories'!
 
 changeFileName