Changeset 112 for widgets/area.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/area.r (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/area.r
r104 r112 14 14 size: 50x25 15 15 text: "" 16 color: colors/ edit17 edge: default-edge16 color: colors/page 17 edge: theme-edge 18 18 font: default-font-top 19 19 para: make default-para-wrap [margin: as-pair sizes/slider + 2 2] … … 79 79 ] 80 80 rebind: make function! [] [ 81 font/name: effects/font 82 font/size: sizes/font 81 color: colors/page 83 82 para/margin/x: sizes/slider + 2 84 83 ] … … 86 85 if find options 'info [ 87 86 feel: make feel [engage: none] 88 all [color = colors/ edit color: colors/widget]87 all [color = colors/page color: colors/outline-light] 89 88 ] 90 89 para: make para [] ; avoid shared para object for scrollable input widget
