author | vrany |
Tue, 11 Oct 2011 13:00:09 +0200 | |
changeset 2558 | 9dc83d799686 |
parent 2472 | 032f30308ef1 |
child 2727 | 312e04853879 |
permissions | -rw-r--r-- |
2375 | 1 |
"{ Package: 'stx:libbasic3' }"! |
2 |
||
3 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
4 |
||
2393 | 5 |
historyManagerAllowEditOfHistory |
6 |
"useful if you have 'beginner students', to prevent them from changing the history" |
|
7 |
||
8 |
^self |
|
9 |
at: #'history-manager.allow-edit-of-history' |
|
10 |
ifAbsentPut:false |
|
11 |
||
12 |
"Modified (Format): / 30-06-2011 / 17:07:33 / cg" |
|
13 |
"Modified (Comment): / 30-06-2011 / 17:09:24 / cg" |
|
14 |
! ! |
|
15 |
||
16 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
17 |
||
2375 | 18 |
historyManagerModificationLimit |
2393 | 19 |
"the time-delta within which the history manager does not treat a change as a new one" |
2375 | 20 |
|
21 |
^self |
|
22 |
at: #'history-manager.modification-limit' |
|
23 |
ifAbsentPut: 3600 "/one hour" |
|
24 |
||
25 |
"Created: / 04-10-2008 / 11:55:56 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2393 | 26 |
"Modified (Comment): / 30-06-2011 / 17:25:09 / cg" |
2375 | 27 |
! ! |
28 |
||
29 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
30 |
||
31 |
historyManagerModificationLimit: sec |
|
2393 | 32 |
"the time-delta within which the history manager does not treat a change as a new one" |
2375 | 33 |
|
34 |
^self |
|
35 |
at: #'history-manager.modification-limit' |
|
36 |
put: sec |
|
37 |
||
38 |
"Created: / 04-10-2008 / 11:56:23 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2393 | 39 |
"Modified (Comment): / 30-06-2011 / 17:25:13 / cg" |
2375 | 40 |
! ! |
41 |
||
42 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
43 |
||
44 |
historyManagerSignature |
|
2393 | 45 |
"the signature added by the history manager" |
2375 | 46 |
|
47 |
^self historyManagerSignatures |
|
48 |
at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName) |
|
2472
032f30308ef1
changed: #historyManagerSignature
Claus Gittinger <cg@exept.de>
parents:
2460
diff
changeset
|
49 |
ifAbsent: [OperatingSystem getLoginName] |
2375 | 50 |
|
51 |
"Created: / 04-10-2008 / 12:06:58 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2434
62bd7a13939b
HistoryManager fixes (takes user signature from preferences)
vrany
parents:
2393
diff
changeset
|
52 |
"Modified: / 08-07-2011 / 10:24:48 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
2472
032f30308ef1
changed: #historyManagerSignature
Claus Gittinger <cg@exept.de>
parents:
2460
diff
changeset
|
53 |
"Modified: / 04-08-2011 / 17:24:21 / cg" |
2375 | 54 |
! ! |
55 |
||
56 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
57 |
||
58 |
historyManagerSignature: aString |
|
2393 | 59 |
"the signature added by the history manager" |
2375 | 60 |
|
61 |
^self historyManagerSignatures |
|
62 |
at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName) |
|
63 |
put: aString |
|
64 |
||
65 |
"Created: / 04-10-2008 / 11:54:53 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2393 | 66 |
"Modified (Comment): / 30-06-2011 / 17:25:31 / cg" |
2375 | 67 |
! ! |
68 |
||
69 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
70 |
||
71 |
historyManagerSignatures |
|
2393 | 72 |
"the signatures added by the history manager" |
2375 | 73 |
|
74 |
^self |
|
75 |
at: #'history-manager.signatures' |
|
76 |
ifAbsentPut: [Dictionary new] |
|
77 |
||
78 |
" |
|
2393 | 79 |
UserPreferences current historyManagerSignatures |
2375 | 80 |
" |
81 |
||
82 |
"Created: / 04-10-2008 / 11:52:40 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
83 |
"Modified: / 22-08-2009 / 11:00:12 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2393 | 84 |
"Modified (Comment): / 30-06-2011 / 17:27:14 / cg" |
2375 | 85 |
! ! |
86 |
||
87 |
!UserPreferences methodsFor:'accessing - history manager'! |
|
88 |
||
89 |
historyManagerSignatures: aDictionary |
|
2393 | 90 |
"the signatures added by the history manager" |
2375 | 91 |
|
92 |
^self |
|
93 |
at: #'history-manager.signatures' |
|
94 |
ifAbsentPut: aDictionary |
|
95 |
||
96 |
"Created: / 04-10-2008 / 11:52:58 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
2393 | 97 |
"Modified (Comment): / 30-06-2011 / 17:26:48 / cg" |
2375 | 98 |
! ! |
99 |
||
2444
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
100 |
!UserPreferences methodsFor:'accessing-source code management'! |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
101 |
|
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
102 |
managerPerMatchingModuleDefinitions |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
103 |
|
2447 | 104 |
| defs | |
105 |
||
2450 | 106 |
defs := (self at: #'managerPerMatchingModuleDefinitionsKey' ifAbsent:[#()]). |
2448 | 107 |
^(defs collect:[:e|e decodeAsLiteralArray]) asOrderedCollection |
2447 | 108 |
|
109 |
" |
|
110 |
UserPreferences current managerPerMatchingModuleDefinitions |
|
111 |
UserPreferences current managerPerMatchingModuleDefinitions: #(). |
|
112 |
" |
|
2444
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
113 |
|
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
114 |
"Created: / 09-07-2011 / 13:33:23 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
115 |
! ! |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
116 |
|
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
117 |
!UserPreferences methodsFor:'accessing-source code management'! |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
118 |
|
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
119 |
managerPerMatchingModuleDefinitions: defs |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
120 |
|
2450 | 121 |
self at: #'managerPerMatchingModuleDefinitionsKey' |
2448 | 122 |
put: (defs collect:[:e| e literalArrayEncoding]) asArray. |
2444
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
123 |
AbstractSourceCodeManager managerPerMatchingModuleDefinitions == defs ifFalse:[ |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
124 |
AbstractSourceCodeManager managerPerMatchingModuleDefinitions: defs. |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
125 |
] |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
126 |
|
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
127 |
"Created: / 09-07-2011 / 13:35:25 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
128 |
! ! |
e5686290211f
per-package manager settings are now saved with preferences
vrany
parents:
2434
diff
changeset
|
129 |
|
2375 | 130 |
!stx_libbasic3 class methodsFor:'documentation'! |
131 |
||
132 |
extensionsVersion_CVS |
|
2558 | 133 |
^ '$Header: /cvs/stx/stx/libbasic3/extensions.st,v 1.12 2011-10-11 11:00:09 vrany Exp $' |
2453 | 134 |
! ! |