Changeset 112 for widgets/drop-list.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/drop-list.r

    r106 r112  
    1212        size:   25x5 
    1313        text:   "" 
    14         color:  colors/widget 
    1514        data:   [] 
    16         edge:   default-edge 
     15        edge:   outline-edge 
    1716        font:   default-font 
    1817        para:   make default-para [margin: as-pair sizes/slider + 2 2] 
    … …  
    3332        hidden-caret: hidden-text: none 
    3433        ;       Accessor functions 
     34        picked: make function! [] [ 
     35                index? find data text 
     36        ] 
    3537        rebind: make function! [] [ 
    36                 color: colors/widget 
    3738                para/margin/x: sizes/line + 2 
    3839        ]