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

    r111 r112  
    1 panel: make rebface [ 
     1panel: make pill [ 
    22        tip:    { 
    33                USAGE: 
     
    88        } 
    99        size:   -1x-1 
    10         effect: [draw [pen none fill-pen none box 0x0 0x0 effects/radius]] 
    11         feel:   make default-feel [ 
    12                 redraw: make function! [face act pos] [ 
    13                         if act = 'show [ 
    14                                 all [   ; handle color change 
    15                                         face/color 
    16                                         face/effect/draw/pen: face/effect/draw/fill-pen: face/color 
    17                                         face/color: none 
    18                                 ] 
    19                         ] 
    20                 ] 
    21         ] 
    22         action: make default-action [ 
    23                 on-resize: make function! [face] [poke face/effect/draw 7 face/size - 1x1] 
    24         ] 
    2510        init:   make function! [] [ 
    2611                data: layout/only data