Marcel Taeumel uploaded a new version of Tools to project The Trunk:
http://source.squeak.org/trunk/Tools-mt.595.mcz==================== Summary ====================
Name: Tools-mt.595
Author: mt
Time: 17 April 2015, 12:10:54.121 am
UUID: 72c46775-1f67-9c4a-853b-e0e0117cf7aa
Ancestors: Tools-mt.594
Shrink annotation pane a little bit.
=============== Diff against Tools-mt.594 ===============
Item was changed:
----- Method: CodeHolder>>annotationPaneHeight (in category 'toolbuilder') -----
annotationPaneHeight
+ ^Preferences standardCodeFont height * 3/2!
- ^Preferences standardCodeFont height * 2 + 5!