Changeset 112 for widgets/tool-bar.r
- Timestamp:
- 12/31/07 22:18:08 (11 months ago)
- Files:
-
- 1 modified
-
widgets/tool-bar.r (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
widgets/tool-bar.r
r110 r112 10 10 size: 100x-1 11 11 pane: [] 12 color: colors/ window13 rebind: make function! [] [color: colors/ window]12 color: colors/outline-light 13 rebind: make function! [] [color: colors/outline-light] 14 14 init: make function! [/local icon-offset] [ 15 15 size/y: 30 … … 30 30 feel: make default-feel [ 31 31 over: make function! [face act pos] [ 32 face/color: either act [colors/ over] [none]32 face/color: either act [colors/state-light] [none] 33 33 show face 34 34 ]
