[Pkg] The Trunk: Tools-mt.711.mcz

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

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

Name: Tools-mt.711 Author: mt Time: 31 July 2016, 11:23:32.11449 am UUID: 51307e24-030b-e046-a6f0-332c36d3a3ef Ancestors: Tools-mt.710

*** Widget Refactorings and UI Themes (Part 6 of 11) ***

Some fixes and refactorings for lists, trees, text boxes --- including added support for UI theming.

=============== Diff against Tools-mt.710 ===============

Item was changed: ----- Method: PointerExplorerWrapper>>preferredColor (in category 'accessing') ----- preferredColor

^self isWeakOnly ifTrue: [ Color gray ] + ifFalse: [ super preferredColor ]! - ifFalse: [ Color black ]!