--- 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"