extensions.st
author Claus Gittinger <cg@exept.de>
Fri, 16 May 2014 15:08:41 +0200
changeset 3561 66bd679db130
parent 3482 18ff198c4dc5
child 3608 56b9a5667fda
permissions -rw-r--r--
category change
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
     1
"{ Package: 'stx:libbasic3' }"!
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
     2
3482
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     3
!CompiledCode methodsFor:'debugging'!
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     4
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     5
setTracelog
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     6
    "Arrange for a trace logging - enter/leave of the method will be logged using
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     7
     curent Logger"
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     8
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
     9
    MessageTracer tracelogMethod:self
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    10
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    11
    "Created: / 15-03-2013 / 11:10:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    12
! !
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    13
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    14
!ConfigurableFeatures class methodsFor:'queries-features'!
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    15
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    16
hasProjectChecker
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    17
    ^true
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    18
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    19
    "
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    20
     ConfigurableFeatures includesFeature:#ProjectChecker
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    21
    "
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    22
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    23
    "Created: / 03-04-2012 / 17:58:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    24
! !
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    25
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    26
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    27
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    28
historyManagerAllowEditOfHistory
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    29
    "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
    30
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    31
    ^self 
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    32
        at: #'history-manager.allow-edit-of-history'
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    33
        ifAbsentPut:false
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    34
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    35
    "Modified (Format): / 30-06-2011 / 17:07:33 / cg"
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    36
    "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    37
! !
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    38
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    39
!UserPreferences methodsFor:'accessing-changes & history'!
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    40
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    41
historyManagerModificationLimit
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    42
    "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
    43
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    44
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    45
        at: #'history-manager.modification-limit'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    46
        ifAbsentPut: 3600 "/one hour"
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    47
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    48
    "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
    49
    "Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    50
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    51
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    52
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    53
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    54
historyManagerModificationLimit: sec
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    55
    "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
    56
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    57
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    58
        at: #'history-manager.modification-limit'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    59
        put: sec
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    60
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    61
    "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
    62
    "Modified (Comment): / 30-06-2011 / 17:25:13 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    63
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    64
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    65
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    66
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    67
historyManagerSignature
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    68
    "the signature added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    69
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    70
    ^self historyManagerSignatures
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    71
        at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName)
2472
032f30308ef1 changed: #historyManagerSignature
Claus Gittinger <cg@exept.de>
parents: 2460
diff changeset
    72
        ifAbsent: [OperatingSystem getLoginName]
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    73
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    74
    "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
    75
    "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
    76
    "Modified: / 04-08-2011 / 17:24:21 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    77
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    78
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    79
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    80
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    81
historyManagerSignature: aString
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    82
    "the signature added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    83
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    84
    ^self historyManagerSignatures
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    85
        at: (Array with: OperatingSystem getHostName with: OperatingSystem getLoginName)
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    86
        put: aString
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    87
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    88
    "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
    89
    "Modified (Comment): / 30-06-2011 / 17:25:31 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    90
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    91
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
    92
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    93
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    94
historyManagerSignatures
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    95
    "the signatures added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    96
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    97
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    98
        at: #'history-manager.signatures'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    99
        ifAbsentPut: [Dictionary new]
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   100
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   101
    "
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
   102
     UserPreferences current historyManagerSignatures
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   103
    "
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   104
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   105
    "Created: / 04-10-2008 / 11:52:40 / Jan Vrany <vranyj1@fel.cvut.cz>"
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   106
    "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
   107
    "Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   108
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   109
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
   110
!UserPreferences methodsFor:'accessing-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   111
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   112
historyManagerSignatures: aDictionary
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
   113
    "the signatures added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   114
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   115
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   116
        at: #'history-manager.signatures'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   117
        ifAbsentPut: aDictionary
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   118
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   119
    "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
   120
    "Modified (Comment): / 30-06-2011 / 17:26:48 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   121
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   122
2727
312e04853879 comment/format
Claus Gittinger <cg@exept.de>
parents: 2558
diff changeset
   123
!UserPreferences methodsFor:'accessing-scm'!
2444
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
managerPerMatchingModuleDefinitions
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   126
2447
vrany
parents: 2444
diff changeset
   127
    | defs |
vrany
parents: 2444
diff changeset
   128
2450
vrany
parents: 2448
diff changeset
   129
    defs := (self at: #'managerPerMatchingModuleDefinitionsKey' ifAbsent:[#()]).
2448
vrany
parents: 2447
diff changeset
   130
    ^(defs collect:[:e|e decodeAsLiteralArray]) asOrderedCollection
2447
vrany
parents: 2444
diff changeset
   131
vrany
parents: 2444
diff changeset
   132
    "
vrany
parents: 2444
diff changeset
   133
        UserPreferences current managerPerMatchingModuleDefinitions
vrany
parents: 2444
diff changeset
   134
        UserPreferences current managerPerMatchingModuleDefinitions: #().
vrany
parents: 2444
diff changeset
   135
    "
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   136
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   137
    "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
   138
! !
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   139
2727
312e04853879 comment/format
Claus Gittinger <cg@exept.de>
parents: 2558
diff changeset
   140
!UserPreferences methodsFor:'accessing-scm'!
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   141
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   142
managerPerMatchingModuleDefinitions: defs
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   143
2450
vrany
parents: 2448
diff changeset
   144
    self at: #'managerPerMatchingModuleDefinitionsKey' 
2448
vrany
parents: 2447
diff changeset
   145
        put: (defs collect:[:e| e literalArrayEncoding]) asArray.
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   146
    AbstractSourceCodeManager managerPerMatchingModuleDefinitions == defs ifFalse:[
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   147
        AbstractSourceCodeManager managerPerMatchingModuleDefinitions: defs.
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   148
    ]
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   149
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   150
    "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
   151
! !
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   152
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   153
!stx_libbasic3 class methodsFor:'documentation'!
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   154
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   155
extensionsVersion_CVS
3561
66bd679db130 category change
Claus Gittinger <cg@exept.de>
parents: 3482
diff changeset
   156
    ^ '$Header: /cvs/stx/stx/libbasic3/extensions.st,v 1.16 2014-05-16 13:08:41 cg Exp $'
3482
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
   157
! !
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
   158