UserPreferences.st
branchjv
changeset 19478 1f5aa87f6170
parent 19411 05866fa42fc5
parent 19472 1c71c47b35d1
child 19496 7613c0fb5f3c
--- a/UserPreferences.st	Fri Mar 25 06:29:08 2016 +0000
+++ b/UserPreferences.st	Sat Mar 26 07:56:10 2016 +0000
@@ -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