equal
deleted
inserted
replaced
2971 |
2971 |
2972 ^ lineSpacing + itemHeight |
2972 ^ lineSpacing + itemHeight |
2973 ! |
2973 ! |
2974 |
2974 |
2975 widthOfWidestLineBetween:firstLine and:lastLine |
2975 widthOfWidestLineBetween:firstLine and:lastLine |
2976 "return the width in pixels of the widest line in a range" |
2976 "return the width in pixels of the widest line in a range. |
|
2977 - used to optimize scrolling, by limiting the scrolled area; |
|
2978 not for scrollbar or other width related stuff which should be exact." |
2977 |
2979 |
2978 ^ TypeInset + (super widthOfWidestLineBetween:firstLine and:lastLine) |
2980 ^ TypeInset + (super widthOfWidestLineBetween:firstLine and:lastLine) |
2979 ! ! |
2981 ! ! |
2980 |
2982 |
2981 !TagsBrowser class methodsFor:'documentation'! |
2983 !TagsBrowser class methodsFor:'documentation'! |