--- a/extensions.st	Wed May 14 10:50:44 2014 +0200
+++ b/extensions.st	Fri May 16 15:08:41 2014 +0200
@@ -23,7 +23,7 @@
     "Created: / 03-04-2012 / 17:58:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerAllowEditOfHistory
     "useful if you have 'beginner students', to prevent them from changing the history"
@@ -36,7 +36,7 @@
     "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerModificationLimit
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -49,7 +49,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerModificationLimit: sec
     "the time-delta within which the history manager does not treat a change as a new one"
@@ -62,7 +62,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:13 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignature
     "the signature added by the history manager"
@@ -76,7 +76,7 @@
     "Modified: / 04-08-2011 / 17:24:21 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignature: aString
     "the signature added by the history manager"
@@ -89,7 +89,7 @@
     "Modified (Comment): / 30-06-2011 / 17:25:31 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignatures
     "the signatures added by the history manager"
@@ -107,7 +107,7 @@
     "Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
 ! !
 
-!UserPreferences methodsFor:'accessing-history manager'!
+!UserPreferences methodsFor:'accessing-changes & history'!
 
 historyManagerSignatures: aDictionary
     "the signatures added by the history manager"
@@ -153,6 +153,6 @@
 !stx_libbasic3 class methodsFor:'documentation'!
 
 extensionsVersion_CVS
-    ^ '$Header: /cvs/stx/stx/libbasic3/extensions.st,v 1.15 2014-02-05 18:01:19 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libbasic3/extensions.st,v 1.16 2014-05-16 13:08:41 cg Exp $'
 ! !