hg/stx-libbasic3: extensions.st@4f40b8304d54 (annotated)

3012 4f40b8304d54 Added InvalidChange Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3011 diff changeset	1	"{ Package: 'stx:libbasic3' }"
4f40b8304d54 Added InvalidChange Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3011 diff changeset	2
4f40b8304d54 Added InvalidChange Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3011 diff changeset	3	!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	4
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	5	!UserPreferences methodsFor:'accessing-history manager'!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	6
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	7	historyManagerAllowEditOfHistory
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	8	"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	9
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	10	^self
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	11	at: #'history-manager.allow-edit-of-history'
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	12	ifAbsentPut:false
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	13
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	14	"Modified (Format): / 30-06-2011 / 17:07:33 / cg"
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	15	"Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	16	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	17	!UserPreferences methodsFor:'accessing-history manager'!
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	18
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	19	historyManagerModificationLimit
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	20	"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	21
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	22	^self
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	23	at: #'history-manager.modification-limit'
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	24	ifAbsentPut: 3600 "/one hour"
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	25
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	26	"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	27	"Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	28	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	29	!UserPreferences methodsFor:'accessing-history manager'!
2375 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	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	41	!UserPreferences methodsFor:'accessing-history manager'!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	42
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	43	historyManagerSignature
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	44	"the signature added by the history manager"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	45
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	46	^self historyManagerSignatures
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	47	at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName)
2472 032f30308ef1 changed: #historyManagerSignature Claus Gittinger <cg@exept.de> parents: 2460 diff changeset	48	ifAbsent: [OperatingSystem getLoginName]
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	49
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	50	"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	51	"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	52	"Modified: / 04-08-2011 / 17:24:21 / cg"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	53	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	54	!UserPreferences methodsFor:'accessing-history manager'!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	55
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	56	historyManagerSignature: aString
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	57	"the signature added by the history manager"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	58
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	59	^self historyManagerSignatures
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	60	at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName)
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	61	put: aString
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	62
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	63	"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	64	"Modified (Comment): / 30-06-2011 / 17:25:31 / cg"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	65	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	66	!UserPreferences methodsFor:'accessing-history manager'!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	67
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	68	historyManagerSignatures
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	69	"the signatures added by the history manager"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	70
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	71	^self
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	72	at: #'history-manager.signatures'
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	73	ifAbsentPut: [Dictionary new]
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	74
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	75	"
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	76	UserPreferences current historyManagerSignatures
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	77	"
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	78
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	79	"Created: / 04-10-2008 / 11:52:40 / Jan Vrany <vranyj1@fel.cvut.cz>"
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	80	"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	81	"Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	82	! !
2729 bc1d5b174332 category of:20 methods Claus Gittinger <cg@exept.de> parents: 2727 diff changeset	83	!UserPreferences methodsFor:'accessing-history manager'!
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	84
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	85	historyManagerSignatures: aDictionary
2393 f1330a09ba45 history method added Claus Gittinger <cg@exept.de> parents: 2375 diff changeset	86	"the signatures added by the history manager"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	87
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	88	^self
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	89	at: #'history-manager.signatures'
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	90	ifAbsentPut: aDictionary
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	91
22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	92	"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	93	"Modified (Comment): / 30-06-2011 / 17:26:48 / cg"
2375 22f8328ae5bb Jan's changes vrany parents: 2374 diff changeset	94	! !
2727 312e04853879 comment/format Claus Gittinger <cg@exept.de> parents: 2558 diff changeset	95	!UserPreferences methodsFor:'accessing-scm'!
2444 e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	96
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	97	managerPerMatchingModuleDefinitions
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	98
2447 8a859d453267 fixes vrany parents: 2444 diff changeset	99	\| defs \|
8a859d453267 fixes vrany parents: 2444 diff changeset	100
2450 d1d723fa7d56 Fixes vrany parents: 2448 diff changeset	101	defs := (self at: #'managerPerMatchingModuleDefinitionsKey' ifAbsent:[#()]).
2448 1f8e749d18d8 xx vrany parents: 2447 diff changeset	102	^(defs collect:[:e\|e decodeAsLiteralArray]) asOrderedCollection
2447 8a859d453267 fixes vrany parents: 2444 diff changeset	103
8a859d453267 fixes vrany parents: 2444 diff changeset	104	"
8a859d453267 fixes vrany parents: 2444 diff changeset	105	UserPreferences current managerPerMatchingModuleDefinitions
8a859d453267 fixes vrany parents: 2444 diff changeset	106	UserPreferences current managerPerMatchingModuleDefinitions: #().
8a859d453267 fixes vrany parents: 2444 diff changeset	107	"
2444 e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	108
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	109	"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	110	! !
2727 312e04853879 comment/format Claus Gittinger <cg@exept.de> parents: 2558 diff changeset	111	!UserPreferences methodsFor:'accessing-scm'!
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	managerPerMatchingModuleDefinitions: defs
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	114
2450 d1d723fa7d56 Fixes vrany parents: 2448 diff changeset	115	self at: #'managerPerMatchingModuleDefinitionsKey'
2448 1f8e749d18d8 xx vrany parents: 2447 diff changeset	116	put: (defs collect:[:e\| e literalArrayEncoding]) asArray.
2444 e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	117	AbstractSourceCodeManager managerPerMatchingModuleDefinitions == defs ifFalse:[
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	118	AbstractSourceCodeManager 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
e5686290211f per-package manager settings are now saved with preferences vrany parents: 2434 diff changeset	121	"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	122	! !

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Mon, 30 Jan 2012 17:19:14 +0000
branch	jv
changeset 3012	4f40b8304d54
parent 3011	1997ff6e7e55
child 3013	f25a0bdfb808
permissions	-rw-r--r--