Changeset 112 for widgets/spinner.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/spinner.r (modified) (3 diffs)

widgets/spinner.r

@@ -13 +13 @@
         size:   20x5
         text:   ""
-        color:  colors/edit
-        edge:   default-edge
+        edge:   theme-edge
         font:   default-font-right
         para:   make default-para []
@@ -41 +40 @@
                 ]
         ]
-        rebind: make function! [] [
-                color: colors/edit
-                font/name: effects/font
-                font/size: sizes/font
-        ]
         init:   make function! [/local p] [
                 all [data text: form data]
                 all [not empty? text data: to type? first options text]
-                para/margin/x: size/y
+                para/margin/x: size/y - sizes/cell
                 ;       make up & down button
                 p: self
                 insert pane make arrow [
                         tip:    none
-                        offset: as-pair p/size/x - p/size/y 0
-                        size:   as-pair p/size/y p/size/y / 2
+                        offset: as-pair p/size/x - p/size/y + sizes/cell 0
+                        size:   as-pair p/size/y - sizes/cell p/size/y / 2
                         span:   all [
                                 p/span
@@ -83 +77 @@
                 insert tail pane make arrow [
                         tip:    none
-                        offset: as-pair p/size/x - p/size/y p/size/y / 2
-                        size:   as-pair p/size/y p/size/y / 2
+                        offset: as-pair p/size/x - p/size/y + sizes/cell p/size/y / 2
+                        size:   as-pair p/size/y - sizes/cell p/size/y / 2
                         span:   all [
                                 p/span