#BUGFIX
class: UserPreferences
added:
#autoloadedPackages
#autoloadedPackages:
category of:14 methods
--- a/UserPreferences.st Fri Mar 25 17:12:54 2016 +0100
+++ b/UserPreferences.st Fri Mar 25 19:35:45 2016 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
"
COPYRIGHT (c) 1998 by eXept Software AG
All Rights Reserved
@@ -840,19 +842,6 @@
"Modified: / 15-01-2012 / 14:26:53 / cg"
! !
-
-
-
-!UserPreferences methodsFor:'accessing-changes & history'!
-
-historyManagerAllowEditOfHistory:aBoolean
- "useful if you have 'beginner students', to prevent them from changing the history"
-
- self
- at: #'history-manager.allow-edit-of-history'
- put:aBoolean
-! !
-
!UserPreferences methodsFor:'accessing-locale'!
dateInputFormat
@@ -1577,6 +1566,7 @@
^ DiffCodeView
! !
+
!UserPreferences methodsFor:'accessing-prefs-UI'!
allowMouseWheelZoom
@@ -3944,6 +3934,16 @@
"Created: / 17-02-2011 / 14:18:01 / cg"
! !
+!UserPreferences methodsFor:'accessing-prefs-changes & history'!
+
+historyManagerAllowEditOfHistory:aBoolean
+ "useful if you have 'beginner students', to prevent them from changing the history"
+
+ self
+ at: #'history-manager.allow-edit-of-history'
+ put:aBoolean
+! !
+
!UserPreferences methodsFor:'accessing-prefs-code'!
categoryForMenuActionsMethods
@@ -4848,6 +4848,20 @@
"
! !
+!UserPreferences methodsFor:'accessing-prefs-startup'!
+
+autoloadedPackages
+ "list of package names, which are automatically loaded upon startup"
+
+ ^ self at:#autoloadedPackages ifAbsent:[#()]
+!
+
+autoloadedPackages:aCollectionOfPackageNames
+ "list of package names, which are automatically loaded upon startup"
+
+ self at:#autoloadedPackages put:aCollectionOfPackageNames
+! !
+
!UserPreferences methodsFor:'accessing-prefs-times'!
timeToAutoExpandItemsWhenDraggingOver