equal
deleted
inserted
replaced
|
1 "{ Encoding: utf8 }" |
|
2 |
1 " |
3 " |
2 COPYRIGHT (c) 2007 by eXept Software AG |
4 COPYRIGHT (c) 2007 by eXept Software AG |
3 All Rights Reserved |
5 All Rights Reserved |
4 |
6 |
5 This software is furnished under a license and may be used |
7 This software is furnished under a license and may be used |
2930 isValidAndShown := widget shown. |
2932 isValidAndShown := widget shown. |
2931 ]. |
2933 ]. |
2932 ]. |
2934 ]. |
2933 |
2935 |
2934 isValidAndShown ifFalse:[ |
2936 isValidAndShown ifFalse:[ |
2935 label := Text string:label emphasis:#italic. |
2937 label := label allItalic allGray. |
2936 label withColor:Color gray. |
|
2937 ]. |
2938 ]. |
2938 |
2939 |
2939 labelHeight := self heightOn:aGC. |
2940 labelHeight := self heightOn:aGC. |
2940 self displayLabel:label h:labelHeight on:aGC x:x y:y h:h isHighlightedAsSelected:isHighlightedAsSelected. |
2941 self displayLabel:label h:labelHeight on:aGC x:x y:y h:h isHighlightedAsSelected:isHighlightedAsSelected. |
2941 |
2942 |