Changeset 110 for widgets/text.r
- Timestamp:
- 12/24/07 07:12:10 (11 months ago)
- Files:
-
- 1 modified
-
widgets/text.r (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/text.r
r81 r110 1 text: make label[1 text: make heading [ 2 2 tip: { 3 3 USAGE: … … 9 9 10 10 DESCRIPTION: 11 A box plustext.11 Normal text. 12 12 } 13 13 font: default-font
