#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Wed, 08 Feb 2017 19:04:45 +0100
changeset 21385 679f333fec78
parent 21384 d0a0cd26d471
child 21386 6cdddfc6f2e0
#UI_ENHANCEMENT by cg class: UserPreferences changed: #selectOnRightClick #showRightButtonMenuOnRelease default values
UserPreferences.st
--- a/UserPreferences.st	Wed Feb 08 01:04:08 2017 +0100
+++ b/UserPreferences.st	Wed Feb 08 19:04:45 2017 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -872,8 +874,6 @@
     ^ modified ? false
 ! !
 
-
-
 !UserPreferences methodsFor:'accessing-locale'!
 
 dateInputFormat
@@ -1607,7 +1607,6 @@
     ^ DiffCodeView
 ! !
 
-
 !UserPreferences methodsFor:'accessing-prefs-UI'!
 
 allowMouseWheelZoom
@@ -2335,7 +2334,9 @@
 selectOnRightClick
     "the Windows behavior of selecting on a right-click"
 
-    ^ self at:#selectOnRightClick ifAbsent:false
+    ^ self 
+        at:#selectOnRightClick 
+        ifAbsent:[ OperatingSystem isMSWINDOWSlike ]
 !
 
 selectOnRightClick:aBoolean
@@ -2411,7 +2412,9 @@
 showRightButtonMenuOnRelease
     "the Windows behavior of showing the right-button menu on a release."
 
-    ^ self at:#showRightButtonMenuOnRelease ifAbsent:true
+    ^ self 
+        at:#showRightButtonMenuOnRelease 
+        ifAbsent:[ OperatingSystem isMSWINDOWSlike ]
 !
 
 showRightButtonMenuOnRelease:aBoolean