Changeset 112 for widgets/group-box.r

Timestamp:

12/31/07 22:18:08 (11 months ago)

Author:

ashley

Message:

Added pill.r
Scroller fixes
Major color / theme management changes (in progress)

Files:

• widgets/group-box.r (modified) (3 diffs)

widgets/group-box.r

@@ -9 +9 @@
         size:   -1x-1
         text:   "Untitled"
-        color:  colors/widget
-        effect: [draw [pen colors/edge line-width sizes/edge fill-pen none box 0x0 0x0 effects/radius pen none line 0x0 0x0]]
-        font:   make default-font-top [color: colors/menu]
+        effect: [draw [pen colors/outline-dark line-width sizes/edge fill-pen none box 0x0 0x0 effects/radius pen colors/page line 0x0 0x0]]
+        font:   make default-font-top [color: colors/outline-dark]
         para:   make default-para [origin: as-pair sizes/cell * 4 0]
         feel:   make default-feel [
@@ -19 +18 @@
                                         face/color
                                         face/effect/draw/fill-pen: face/color
-                                        poke face/effect/draw 12 face/color
+                                        poke face/effect/draw 12 colors/page
                                         face/color: none
                                 ]
@@ -30 +29 @@
         ]
         rebind: make function! [] [
-                color: colors/widget
                 font/name: effects/font
                 font/size: sizes/font
-                font/color: colors/menu
+                font/color: colors/outline-dark
                 para/origin/x: sizes/cell * 4
         ]