class: UserPreferences
authorClaus Gittinger <cg@exept.de>
Fri, 25 Mar 2016 19:36:07 +0100
changeset 3966 799c9a320a5d
parent 3965 a4d91c7d1e52
child 3967 5bfee3208fb3
class: UserPreferences category of:14 methods
extensions.st
--- a/extensions.st	Fri Mar 25 16:45:43 2016 +0100
+++ b/extensions.st	Fri Mar 25 19:36:07 2016 +0100
@@ -33,7 +33,7 @@
     "Created: / 29-07-2014 / 09:48:20 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerAllowEditOfHistory
     "useful if you have 'beginner students', to prevent them from changing the history"
@@ -46,7 +46,7 @@
     "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerModificationLimit
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -59,7 +59,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerModificationLimit: sec
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -72,7 +72,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:13 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerSignature
     "the signature added by the history manager"
@@ -86,7 +86,7 @@
     "Modified: / 04-08-2011 / 17:24:21 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerSignature: aString
     "the signature added by the history manager"
@@ -99,7 +99,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:31 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerSignatures
     "the signatures added by the history manager"
@@ -117,7 +117,7 @@
     "Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-changes & history'!
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
 
 historyManagerSignatures: aDictionary
     "the signatures added by the history manager"