UIPainter.st
changeset 807 b6f229e2ef70
parent 805 99e70b6c02e5
child 808 4e2ab5e77344
equal deleted inserted replaced
806:4faf081e981d 807:b6f229e2ef70
  3560 
  3560 
  3561     super drawLabelIndex:anIndex atX:textX y:yCenter.
  3561     super drawLabelIndex:anIndex atX:textX y:yCenter.
  3562 
  3562 
  3563     ((selection size > 1) and: [selection first == anIndex]) ifTrue:[
  3563     ((selection size > 1) and: [selection first == anIndex]) ifTrue:[
  3564         dX := textInset - 1.
  3564         dX := textInset - 1.
  3565         self paint:self application painter handleMasterColor.
  3565         self paint:(Color red). "/ self application painter handleMasterColor.
  3566         self fillRectangleX:(textX - dX - 2)
  3566         self fillRectangleX:(textX - dX - 2)
  3567                           y:yCenter + 2 - (fontHeight // 2)
  3567                           y:"/ yCenter + 2 - (fontHeight // 2) 
       
  3568                             yCenter - (dX//2)
  3568                       width:dX
  3569                       width:dX
  3569                      height:dX
  3570                      height:dX
  3570     ]
  3571     ]
       
  3572 
       
  3573     "Modified: / 23.4.1998 / 09:08:50 / cg"
  3571 ! !
  3574 ! !
  3572 
  3575 
  3573 !UIPainter::TreeView methodsFor:'initialization'!
  3576 !UIPainter::TreeView methodsFor:'initialization'!
  3574 
  3577 
  3575 initialize
  3578 initialize