Marcel Taeumel uploaded a new version of Tools to project The Trunk:
http://source.squeak.org/trunk/Tools-mt.708.mcz

==================== Summary ====================

Name: Tools-mt.708
Author: mt
Time: 23 July 2016, 11:20:24.615969 am
UUID: aa8c41ed-8fea-9649-8d36-a44b5f1c73c3
Ancestors: Tools-mt.707

Fixes the small bug where the code holder and browser omitted to communicate the state of their buttons correctly to the pluggable button.

=============== Diff against Tools-mt.707 ===============

Item was added:
+ ----- Method: Browser>>decorateButtons (in category 'controls') -----
+ decorateButtons
+ 
+ 	super decorateButtons.
+ 	
+ 	self changed: #classCommentIndicated.
+ 	self changed: #instanceMessagesIndicated.
+ 	self changed: #classMessagesIndicated.!

Item was changed:
  ----- Method: Browser>>plusButtonHit (in category 'class functions') -----
  plusButtonHit
  	"Cycle among definition, comment, and hierachy"
  
+ 	editSelection == #editComment ifTrue: [
+ 		self hierarchy.
+ 		self decorateButtons.
+ 		^ self].
+ 	
+ 	editSelection == #hierarchy ifTrue: [
+ 		self editSelection: #editClass.
+ 		(self hasClassSelected and: [self okToChange]) ifTrue: [
- 	editSelection == #editComment
- 		ifTrue: [self hierarchy. ^ self].
- 	editSelection == #hierarchy
- 		ifTrue: [self editSelection: #editClass.
- 			self hasClassSelected ifFalse: [^ self].
- 			self okToChange ifFalse: [^ self].
  			self changed: #editComment.
+ 			self contentsChanged].
+ 		self decorateButtons.
+ 		^ self].
+ 	
+ 	self editComment.
+ 	self decorateButtons.!
- 			self contentsChanged.
- 			^ self].
- 	self editComment!

Item was changed:
  ----- Method: CodeHolder>>decorateButtons (in category 'controls') -----
  decorateButtons
  	"Change screen feedback for any buttons in the UI of the receiver that may wish it.  Initially, it is only the Inheritance button that is decorated, but one can imagine others."
+ 	self changed: #inheritanceButtonColor.
+ 	self changed: #inheritanceButtonEnabled.
+ 	self changed: #versionsButtonEnabled.!
- 	self changed: #inheritanceButtonColor.!