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