equal
deleted
inserted
replaced
|
1 "{ Encoding: utf8 }" |
|
2 |
1 " |
3 " |
2 COPYRIGHT (c) 1998 by eXept Software AG |
4 COPYRIGHT (c) 1998 by eXept Software AG |
3 All Rights Reserved |
5 All Rights Reserved |
4 |
6 |
5 This software is furnished under a license and may be used |
7 This software is furnished under a license and may be used |
838 ^ super at:key asSymbol put:value |
840 ^ super at:key asSymbol put:value |
839 |
841 |
840 "Modified: / 15-01-2012 / 14:26:53 / cg" |
842 "Modified: / 15-01-2012 / 14:26:53 / cg" |
841 ! ! |
843 ! ! |
842 |
844 |
843 |
|
844 |
|
845 |
|
846 !UserPreferences methodsFor:'accessing-changes & history'! |
|
847 |
|
848 historyManagerAllowEditOfHistory:aBoolean |
|
849 "useful if you have 'beginner students', to prevent them from changing the history" |
|
850 |
|
851 self |
|
852 at: #'history-manager.allow-edit-of-history' |
|
853 put:aBoolean |
|
854 ! ! |
|
855 |
|
856 !UserPreferences methodsFor:'accessing-locale'! |
845 !UserPreferences methodsFor:'accessing-locale'! |
857 |
846 |
858 dateInputFormat |
847 dateInputFormat |
859 "return a format used when tools read a date from the user" |
848 "return a format used when tools read a date from the user" |
860 |
849 |
1574 self useNewVersionDiffBrowser ifTrue:[ |
1563 self useNewVersionDiffBrowser ifTrue:[ |
1575 ^ (VersionDiffBrowser ? DiffTextView) |
1564 ^ (VersionDiffBrowser ? DiffTextView) |
1576 ]. |
1565 ]. |
1577 ^ DiffCodeView |
1566 ^ DiffCodeView |
1578 ! ! |
1567 ! ! |
|
1568 |
1579 |
1569 |
1580 !UserPreferences methodsFor:'accessing-prefs-UI'! |
1570 !UserPreferences methodsFor:'accessing-prefs-UI'! |
1581 |
1571 |
1582 allowMouseWheelZoom |
1572 allowMouseWheelZoom |
1583 "return the flag which controls if text can be magnified via the ALT-wheel-action" |
1573 "return the flag which controls if text can be magnified via the ALT-wheel-action" |
3942 " |
3932 " |
3943 |
3933 |
3944 "Created: / 17-02-2011 / 14:18:01 / cg" |
3934 "Created: / 17-02-2011 / 14:18:01 / cg" |
3945 ! ! |
3935 ! ! |
3946 |
3936 |
|
3937 !UserPreferences methodsFor:'accessing-prefs-changes & history'! |
|
3938 |
|
3939 historyManagerAllowEditOfHistory:aBoolean |
|
3940 "useful if you have 'beginner students', to prevent them from changing the history" |
|
3941 |
|
3942 self |
|
3943 at: #'history-manager.allow-edit-of-history' |
|
3944 put:aBoolean |
|
3945 ! ! |
|
3946 |
3947 !UserPreferences methodsFor:'accessing-prefs-code'! |
3947 !UserPreferences methodsFor:'accessing-prefs-code'! |
3948 |
3948 |
3949 categoryForMenuActionsMethods |
3949 categoryForMenuActionsMethods |
3950 ^ 'menu actions'. |
3950 ^ 'menu actions'. |
3951 ! |
3951 ! |
4844 |
4844 |
4845 " |
4845 " |
4846 UserPreferences current useSystemLanguage |
4846 UserPreferences current useSystemLanguage |
4847 UserPreferences current useSystemLanguage:false |
4847 UserPreferences current useSystemLanguage:false |
4848 " |
4848 " |
|
4849 ! ! |
|
4850 |
|
4851 !UserPreferences methodsFor:'accessing-prefs-startup'! |
|
4852 |
|
4853 autoloadedPackages |
|
4854 "list of package names, which are automatically loaded upon startup" |
|
4855 |
|
4856 ^ self at:#autoloadedPackages ifAbsent:[#()] |
|
4857 ! |
|
4858 |
|
4859 autoloadedPackages:aCollectionOfPackageNames |
|
4860 "list of package names, which are automatically loaded upon startup" |
|
4861 |
|
4862 self at:#autoloadedPackages put:aCollectionOfPackageNames |
4849 ! ! |
4863 ! ! |
4850 |
4864 |
4851 !UserPreferences methodsFor:'accessing-prefs-times'! |
4865 !UserPreferences methodsFor:'accessing-prefs-times'! |
4852 |
4866 |
4853 timeToAutoExpandItemsWhenDraggingOver |
4867 timeToAutoExpandItemsWhenDraggingOver |