hg/stx-libbasic3: extensions.st@8a859d453267 (annotated)

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

author	vrany
	Sat, 09 Jul 2011 16:16:38 +0200
changeset 2447	8a859d453267
parent 2444	e5686290211f
child 2448	1f8e749d18d8
permissions	-rw-r--r--