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

    r104 r112  
    1414        size:   50x25 
    1515        text:   "" 
    16         color:  colors/edit 
    17         edge:   default-edge 
     16        color:  colors/page 
     17        edge:   theme-edge 
    1818        font:   default-font-top 
    1919        para:   make default-para-wrap [margin: as-pair sizes/slider + 2 2] 
     
    7979        ] 
    8080        rebind: make function! [] [ 
    81                 font/name: effects/font 
    82                 font/size: sizes/font 
     81                color: colors/page 
    8382                para/margin/x: sizes/slider + 2 
    8483        ] 
     
    8685                if find options 'info [ 
    8786                        feel: make feel [engage: none] 
    88                         all [color = colors/edit color: colors/widget] 
     87                        all [color = colors/page color: colors/outline-light] 
    8988                ] 
    9089                para: make para [] ; avoid shared para object for scrollable input widget