equal
deleted
inserted
replaced
4070 at: #'history-manager.allow-edit-of-history' |
4070 at: #'history-manager.allow-edit-of-history' |
4071 put:aBoolean |
4071 put:aBoolean |
4072 ! |
4072 ! |
4073 |
4073 |
4074 historyManagerEnabled |
4074 historyManagerEnabled |
|
4075 "automatically add history line comments to accepted methods" |
|
4076 |
4075 ^self |
4077 ^self |
4076 at: #'history-manager.enabled' |
4078 at: #'history-manager.enabled' |
4077 ifAbsent: true |
4079 ifAbsent: true |
4078 ! |
4080 ! |
4079 |
4081 |
4080 historyManagerEnabled:aBoolean |
4082 historyManagerEnabled:aBoolean |
|
4083 "automatically add history line comments to accepted methods" |
|
4084 |
4081 ^self |
4085 ^self |
4082 at: #'history-manager.enabled' |
4086 at: #'history-manager.enabled' |
4083 put: aBoolean |
4087 put: aBoolean |
|
4088 |
|
4089 |
|
4090 " |
|
4091 UserPreferences current historyManagerEnabled |
|
4092 UserPreferences current historyManagerEnabled:true |
|
4093 UserPreferences current historyManagerEnabled:false |
|
4094 " |
4084 ! ! |
4095 ! ! |
4085 |
4096 |
4086 !UserPreferences methodsFor:'accessing-prefs-code'! |
4097 !UserPreferences methodsFor:'accessing-prefs-code'! |
4087 |
4098 |
4088 categoryForMenuActionsMethods |
4099 categoryForMenuActionsMethods |