Changeset 112 for widgets/radio-group.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/radio-group.r (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/radio-group.r
r99 r112 47 47 size: siz 48 48 text: label 49 effect: compose/deep [draw [pen (colors/ edge) fill-pen (colors/edit) circle (as-pair sizes/cell * 1.5 sizes/cell * 2.5) (sizes/cell * 1.5)]]49 effect: compose/deep [draw [pen (colors/outline-light) fill-pen (colors/page) circle (as-pair sizes/cell * 1.5 sizes/cell * 2.5) (sizes/cell * 1.5)]] 50 50 data: index 51 51 font: default-font … … 53 53 feel: make default-feel [ 54 54 over: make function! [face act pos] [ 55 face/effect/draw/pen: either act [colors/o ver] [colors/edge]55 face/effect/draw/pen: either act [colors/outline-dark] [colors/outline-light] 56 56 show face 57 57 ] … … 70 70 pf/picked: face/data 71 71 insert tail face/effect/draw reduce [ 72 'pen colors/ true 'fill-pen colors/true'circle as-pair sizes/cell * 1.5 sizes/cell * 2.5 sizes/cell - 172 'pen colors/state-dark 'fill-pen colors/state-dark 'circle as-pair sizes/cell * 1.5 sizes/cell * 2.5 sizes/cell - 1 73 73 ] 74 74 show face … … 89 89 integer? picked 90 90 insert tail pane/:picked/effect/draw reduce [ 91 'pen colors/ true 'fill-pen colors/true'circle as-pair sizes/cell * 1.5 sizes/cell * 2.5 sizes/cell - 191 'pen colors/state-dark 'fill-pen colors/state-dark 'circle as-pair sizes/cell * 1.5 sizes/cell * 2.5 sizes/cell - 1 92 92 ] 93 93 ]
