| changeset 854 | 2d96630daf4a |
| parent 853 | 4c906c364da2 |
| child 860 | 3e5171aad09f |
| 853:4c906c364da2 | 854:2d96630daf4a |
|---|---|
2547 |
2547 |
2548 type isNil ifTrue:[ |
2548 type isNil ifTrue:[ |
2549 ^ super redrawLabelAt:x y:yTop index:anIndex |
2549 ^ super redrawLabelAt:x y:yTop index:anIndex |
2550 ]. |
2550 ]. |
2551 isSelected := self isInSelection:anIndex. |
2551 isSelected := self isInSelection:anIndex. |
2552 x0 := x. |
|
2552 |
2553 |
2553 highlightMode == #label ifTrue:[ |
2554 highlightMode == #label ifTrue:[ |
2554 x0 := x + 4. |
2555 x0 := x + 4. |
2555 |
2556 |
2556 isSelected ifTrue:[ |
2557 isSelected ifTrue:[ |