Changeset 112 for widgets/tooltip.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/tooltip.r (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/tooltip.r
r75 r112 1 tooltip: make rebface[1 tooltip: make pill [ 2 2 tip: { 3 3 USAGE: … … 8 8 } 9 9 size: -1x-1 10 effect: [draw [pen colors/tooltip-edge line-width sizes/edge fill-pen colors/tooltip-fill box 0x0 0x0 effects/radius]] 11 font: make default-font [color: colors/tooltip-text] 10 color: colors/page 11 ; edge: default-edge 12 font: default-font 12 13 para: make default-para [origin: 4x4 margin: 4x4] 13 14 rate: 2 15 rebind: make function! [] [color: colors/page] 14 16 init: make function! [] [ 17 effect/draw/pen: colors/text 15 18 either all [negative? size/x negative? size/y] [ 16 19 size: 10000x10000 … … 20 23 all [negative? size/y para: default-para-wrap size/y: 10000 size/y: 8 + second size-text self] 21 24 ] 22 poke effect/draw 9 size - 1x123 25 ] 24 26 ]
