Changeset 112 for widgets/tooltip.r

Show
Ignore:
Timestamp:
12/31/07 22:18:08 (11 months ago)
Author:
ashley
Message:

Added pill.r
Scroller fixes
Major color / theme management changes (in progress)

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • widgets/tooltip.r

    r75 r112  
    1 tooltip: make rebface [ 
     1tooltip: make pill [ 
    22        tip:    { 
    33                USAGE: 
     
    88        } 
    99        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 
    1213        para:   make default-para [origin: 4x4 margin: 4x4] 
    1314        rate:   2 
     15        rebind: make function! [] [color: colors/page] 
    1416        init:   make function! [] [ 
     17                effect/draw/pen: colors/text 
    1518                either all [negative? size/x negative? size/y] [ 
    1619                        size: 10000x10000 
     
    2023                        all [negative? size/y para: default-para-wrap size/y: 10000 size/y: 8 + second size-text self] 
    2124                ] 
    22                 poke effect/draw 9 size - 1x1 
    2325        ] 
    2426]