Changeset 112 for widgets/panel.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/panel.r (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/panel.r
r111 r112 1 panel: make rebface[1 panel: make pill [ 2 2 tip: { 3 3 USAGE: … … 8 8 } 9 9 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 change15 face/color16 face/effect/draw/pen: face/effect/draw/fill-pen: face/color17 face/color: none18 ]19 ]20 ]21 ]22 action: make default-action [23 on-resize: make function! [face] [poke face/effect/draw 7 face/size - 1x1]24 ]25 10 init: make function! [] [ 26 11 data: layout/only data
