David T. Lewis uploaded a new version of Tools to project The Trunk:
http://source.squeak.org/trunk/Tools-dtl.887.mcz

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

Name: Tools-dtl.887
Author: dtl
Time: 8 September 2019, 5:52:57.464623 pm
UUID: 63fc292d-4509-44e1-b80b-e760cf724b26
Ancestors: Tools-mt.886, Tools-ct.881

Merge Tools-ct.881

=============== Diff against Tools-mt.886 ===============

Item was added:
+ ----- Method: Model>>spawn: (in category '*Tools') -----
+ spawn: contentsString
+ 
+ 	UIManager default edit: contentsString label: nil!

Item was changed:
  ----- Method: SearchBar>>spawn: (in category '*Tools') -----
  spawn: contentsString
  
+ 	UIManager default edit: contentsString label: nil shouldStyle: Workspace shouldStyle!
- 	UIManager default edit: contentsString label: 'Workspace'!

Item was removed:
- ----- Method: StringHolder>>spawn: (in category '*Tools') -----
- spawn: contentsString
- 
- 	UIManager default edit: contentsString label: 'Workspace'
- !

Item was added:
+ ----- Method: Workspace>>spawn: (in category '*Tools') -----
+ spawn: contentsString
+ 
+ 	UIManager default edit: contentsString label: 'Workspace' shouldStyle: self shouldStyle!