extensions.st
author Claus Gittinger <cg@exept.de>
Thu, 05 Mar 2020 11:17:28 +0100
changeset 4561 eace75531554
parent 4319 eeb5234bc6c9
permissions -rw-r--r--
#UI_ENHANCEMENT by cg class: SourceCodeManagerUtilities changed: #compareClassWithRepository:askForRevision: typos: genitive of class is class's - not classes.
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
4300
561289c7eb79 class: EditTextView
mawalch
parents: 3966
diff changeset
     7
     current Logger"
3482
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>"
4300
561289c7eb79 class: EditTextView
mawalch
parents: 3966
diff changeset
    12
    "Modified (comment): / 25-01-2018 / 19:10:31 / mawalch"
3482
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
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    15
!ConfigurableFeatures class methodsFor:'queries-features'!
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    16
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    17
hasProjectChecker
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    18
    ^true
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
    "
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    21
     ConfigurableFeatures includesFeature:#ProjectChecker
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
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    24
    "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
    25
! !
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
    26
3608
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    27
!ExecutableFunction methodsFor:'queries'!
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    28
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    29
isMocked
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    30
    "Return true, if the method has been mocked (by means of MessageTracer>>mockMethod:do:"
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    31
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    32
    ^ false
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    33
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    34
    "Created: / 29-07-2014 / 09:48:20 / Jan Vrany <jan.vrany@fit.cvut.cz>"
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    35
! !
56b9a5667fda Initial support for simple method mocking (for tests, mainly)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3561
diff changeset
    36
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
    37
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    38
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    39
historyManagerAllowEditOfHistory
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    40
    "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
    41
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    42
    ^self 
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    43
        at: #'history-manager.allow-edit-of-history'
3925
Claus Gittinger <cg@exept.de>
parents: 3608
diff changeset
    44
        ifAbsent:false
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    45
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    46
    "Modified (Format): / 30-06-2011 / 17:07:33 / cg"
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    47
    "Modified (Comment): / 30-06-2011 / 17:09:24 / cg"
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    48
! !
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    49
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
    50
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    51
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    52
historyManagerModificationLimit
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    53
    "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
    54
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    55
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    56
        at: #'history-manager.modification-limit'
3925
Claus Gittinger <cg@exept.de>
parents: 3608
diff changeset
    57
        ifAbsent: 3600 "/one hour"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    58
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    59
    "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
    60
    "Modified (Comment): / 30-06-2011 / 17:25:09 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    61
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    62
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
    63
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    64
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    65
historyManagerModificationLimit: sec
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    66
    "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
    67
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    68
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    69
        at: #'history-manager.modification-limit'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    70
        put: sec
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    71
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    72
    "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
    73
    "Modified (Comment): / 30-06-2011 / 17:25:13 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    74
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    75
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
    76
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    77
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    78
historyManagerSignature
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    79
    "the signature added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    80
4319
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    81
    ^ (self historyManagerSignatures
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    82
            at:{OperatingSystem getHostName. OperatingSystem getLoginName}
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    83
            ifAbsent:nil) ? OperatingSystem getFullUserName.
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    84
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    85
    "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
    86
    "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
    87
    "Modified: / 04-08-2011 / 17:24:21 / cg"
4319
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    88
    "Modified: / 16-05-2018 / 14:21:34 / Stefan Vogel"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    89
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    90
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
    91
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    92
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    93
historyManagerSignature: aString
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
    94
    "the signature added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
    95
4319
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    96
    aString isEmptyOrNil ifTrue:[
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    97
        self historyManagerSignatures 
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    98
                removeKey:{OperatingSystem getHostName. OperatingSystem getLoginName}
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
    99
                ifAbsent:[].
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   100
        ^ aString.
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   101
    ].
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   102
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   103
    ^ self historyManagerSignatures
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   104
        at:{OperatingSystem getHostName. OperatingSystem getLoginName}
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   105
        put:aString
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   106
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   107
    "Created: / 04-10-2008 / 11:54:53 / Jan Vrany <vranyj1@fel.cvut.cz>"
4319
eeb5234bc6c9 class: UserPreferences
Stefan Vogel <sv@exept.de>
parents: 4300
diff changeset
   108
    "Modified: / 16-05-2018 / 14:18:41 / Stefan Vogel"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   109
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   110
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
   111
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   112
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   113
historyManagerSignatures
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
   114
    "the signatures added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   115
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   116
    ^self 
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   117
        at: #'history-manager.signatures'
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   118
        ifAbsentPut: [Dictionary new]
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   119
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   120
    "
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
   121
     UserPreferences current historyManagerSignatures
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   122
    "
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   123
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   124
    "Created: / 04-10-2008 / 11:52:40 / Jan Vrany <vranyj1@fel.cvut.cz>"
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   125
    "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
   126
    "Modified (Comment): / 30-06-2011 / 17:27:14 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   127
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   128
3966
799c9a320a5d class: UserPreferences
Claus Gittinger <cg@exept.de>
parents: 3925
diff changeset
   129
!UserPreferences methodsFor:'accessing-prefs-changes & history'!
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   130
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   131
historyManagerSignatures: aDictionary
2393
f1330a09ba45 history method added
Claus Gittinger <cg@exept.de>
parents: 2375
diff changeset
   132
    "the signatures added by the history manager"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   133
3925
Claus Gittinger <cg@exept.de>
parents: 3608
diff changeset
   134
    self 
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   135
        at: #'history-manager.signatures'
3925
Claus Gittinger <cg@exept.de>
parents: 3608
diff changeset
   136
        put: aDictionary
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   137
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   138
    "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
   139
    "Modified (Comment): / 30-06-2011 / 17:26:48 / cg"
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   140
! !
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   141
2727
312e04853879 comment/format
Claus Gittinger <cg@exept.de>
parents: 2558
diff changeset
   142
!UserPreferences methodsFor:'accessing-scm'!
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   143
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   144
managerPerMatchingModuleDefinitions
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   145
2447
vrany
parents: 2444
diff changeset
   146
    | defs |
vrany
parents: 2444
diff changeset
   147
2450
vrany
parents: 2448
diff changeset
   148
    defs := (self at: #'managerPerMatchingModuleDefinitionsKey' ifAbsent:[#()]).
2448
vrany
parents: 2447
diff changeset
   149
    ^(defs collect:[:e|e decodeAsLiteralArray]) asOrderedCollection
2447
vrany
parents: 2444
diff changeset
   150
vrany
parents: 2444
diff changeset
   151
    "
vrany
parents: 2444
diff changeset
   152
        UserPreferences current managerPerMatchingModuleDefinitions
vrany
parents: 2444
diff changeset
   153
        UserPreferences current managerPerMatchingModuleDefinitions: #().
vrany
parents: 2444
diff changeset
   154
    "
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   155
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   156
    "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
   157
! !
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   158
2727
312e04853879 comment/format
Claus Gittinger <cg@exept.de>
parents: 2558
diff changeset
   159
!UserPreferences methodsFor:'accessing-scm'!
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   160
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   161
managerPerMatchingModuleDefinitions: defs
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   162
2450
vrany
parents: 2448
diff changeset
   163
    self at: #'managerPerMatchingModuleDefinitionsKey' 
2448
vrany
parents: 2447
diff changeset
   164
        put: (defs collect:[:e| e literalArrayEncoding]) asArray.
2444
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   165
    AbstractSourceCodeManager managerPerMatchingModuleDefinitions == defs ifFalse:[
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   166
        AbstractSourceCodeManager managerPerMatchingModuleDefinitions: defs.
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   167
    ]
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   168
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   169
    "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
   170
! !
e5686290211f per-package manager settings are now saved with preferences
vrany
parents: 2434
diff changeset
   171
2375
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   172
!stx_libbasic3 class methodsFor:'documentation'!
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   173
22f8328ae5bb Jan's changes
vrany
parents: 2374
diff changeset
   174
extensionsVersion_CVS
3925
Claus Gittinger <cg@exept.de>
parents: 3608
diff changeset
   175
    ^ '$Header$'
3482
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
   176
! !
18ff198c4dc5 merged in jv's changes
Claus Gittinger <cg@exept.de>
parents: 2729
diff changeset
   177