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

    r94 r112  
    1010                        At runtime face/text contains current selection. 
    1111        } 
    12         color:  colors/edit 
     12        edge:   theme-edge 
    1313        feel:   make edit/feel bind [ 
    1414                engage: make function! [face action event /local start end total visible fd pf] [