| 16 | | color: colors/button |
| 17 | | effect: [draw [pen 0.0.0.128 line-width 1 fill-pen linear 0x0 normal -4 0 90 1 1 none none none box 2x2 0x0 2 translate 2x2 pen 255.255.255.255 fill-pen none line-width 3 box 1x1 0x0 1]] |
| 18 | | font: make default-font [align: 'center] |
| 19 | | feel: make default-feel [ |
| 20 | | redraw: make function! [face act pos] [ |
| 21 | | if act = 'show [ |
| 22 | | ; handle color change |
| 23 | | all [ |
| 24 | | face/color |
| 25 | | poke face/effect/draw 14 face/color |
| 26 | | poke face/effect/draw 15 face/color * 0.9 |
| 27 | | poke face/effect/draw 16 face/color * 0.7 |
| 28 | | face/color: none |
| 29 | | ] |
| 30 | | ; handle info |
| 31 | | all [ |
| 32 | | find face/options 'info |
| 33 | | poke face/effect/draw 24 255.255.255.100 |
| 34 | | ] |
| 35 | | ] |
| 36 | | ] |
| | 16 | color: colors/theme-dark |
| | 17 | font: make default-font-heading [size: sizes/font - 2] |
| | 18 | feel: make feel [ |
| 44 | | down [ |
| 45 | | poke face/effect/draw 24 0.0.0.180 |
| 46 | | poke face/effect/draw 26 0.0.0.200 |
| 47 | | show face |
| 48 | | ] |
| 49 | | alt-down [ |
| 50 | | poke face/effect/draw 24 0.0.0.140 |
| 51 | | poke face/effect/draw 26 0.0.0.160 |
| 52 | | show face |
| 53 | | ] |
| 54 | | up [ |
| 55 | | poke face/effect/draw 24 255.255.255.255 |
| 56 | | poke face/effect/draw 26 none |
| 57 | | show face |
| 58 | | face/action/on-click face |
| 59 | | ] |
| 60 | | alt-up [ |
| 61 | | poke face/effect/draw 24 255.255.255.255 |
| 62 | | poke face/effect/draw 26 none |
| 63 | | show face |
| 64 | | face/action/on-alt-click face |
| 65 | | ] |
| 66 | | away [ |
| 67 | | poke face/effect/draw 24 255.255.255.255 |
| 68 | | poke face/effect/draw 26 none |
| 69 | | show face |
| 70 | | ] |
| | 25 | down [set-color face colors/theme-light] |
| | 26 | alt-down [set-color face colors/theme-light] |
| | 27 | up [set-color face colors/theme-dark face/action/on-click face] |
| | 28 | alt-up [set-color face colors/theme-dark face/action/on-alt-click face] |
| | 29 | away [set-color face colors/theme-dark] |