Changeset 112 for widgets/progress.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/progress.r (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/progress.r
r111 r112 10 10 } 11 11 size: 50x5 12 effect: [draw [pen colors/ menu fill-pen colors/menubox 1x1 1x1]]12 effect: [draw [pen colors/state-dark fill-pen colors/state-dark box 1x1 1x1]] 13 13 data: 0 14 color: colors/widget15 14 edge: default-edge 16 15 feel: make default-feel [ … … 25 24 on-resize: make function! [face] [face/effect/draw/6/y: face/size/y - 2 - sizes/edge - sizes/edge] 26 25 ] 27 rebind: make function! [] [color: colors/widget]28 26 init: make function! [] [action/on-resize self] 29 27 ]
