# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1526396406 -7200
# Node ID 9084fa64673ef61da265abf2596f7b319c684a31
# Parent  40d042a8dee92c161489daff5db8c67793563ab4
#FEATURE by cg
class: UserPreferences
added:
	#logExecutedOSCommands
	#logExecutedOSCommands:

diff -r 40d042a8dee9 -r 9084fa64673e UserPreferences.st
--- a/UserPreferences.st	Tue May 15 15:07:12 2018 +0200
+++ b/UserPreferences.st	Tue May 15 17:00:06 2018 +0200
@@ -1042,6 +1042,18 @@
     ^ self at:#javaBridgeRunsInIDE put:aBoolean
 !
 
+logExecutedOSCommands
+    ^ self at:#logExecutedOSCommands ifAbsent:false
+
+    "
+     UserPreferences current logExecutedOSCommands
+    "
+!
+
+logExecutedOSCommands:aBoolean
+    ^ self at:#logExecutedOSCommands put:aBoolean
+!
+
 logHTTPRequests
     ^ self at:#logHTTPRequests ifAbsent:false
 !