The Trunk: Tools-pre.764.mcz

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]!