Patrick Rein uploaded a new version of Tools to project The Trunk: http://source.squeak.org/trunk/Tools-pre.764.mcz
==================== Summary ====================
Name: Tools-pre.764 Author: pre Time: 30 June 2017, 11:42:44.352092 am UUID: 49cb3bb0-4920-9347-aea3-a70c15bca6a5 Ancestors: Tools-nice.763
Minor refactoring by topa of a menuPragma method.
=============== Diff against Tools-nice.763 ===============
Item was changed: ----- Method: Model>>menuPragmasFor:in: (in category '*Tools-pluggable menus') ----- menuPragmasFor: aMenuSymbolOrCollection in: aClass + ^ aMenuSymbolOrCollection isSymbol + ifFalse: [aMenuSymbolOrCollection gather: [:aMenuSymbol | - ^ aMenuSymbolOrCollection isCollection - ifTrue: [aMenuSymbolOrCollection gather: [:aMenuSymbol | Pragma allNamed: aMenuSymbol from: aClass to: Object]] + ifTrue: [Pragma allNamed: aMenuSymbolOrCollection from: aClass to: Object]! - ifFalse: [Pragma allNamed: aMenuSymbolOrCollection from: aClass to: Object]!