diff themes/default/Scrollbar.cfg @ 0:c10bc63824e7

Initial commit!
author zzzzrrr <mason.green@gmail.com>
date Fri, 20 Mar 2009 06:41:25 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/themes/default/Scrollbar.cfg	Fri Mar 20 06:41:25 2009 -0400
@@ -0,0 +1,79 @@
+widget HScrollbar {
+	[hexpand hfill] new HBox {
+		shape = Rectangle;
+		style.normal = {
+			background = solid(rgba(0.26, 0.26, 0.26, 1));
+		}
+		
+		new ScrollbarButton button1 {
+			arrowDir = 2;
+		}
+		
+		[hexpand hfill] new HWidgetSlider slider {
+			new Graphic {
+				size = 17 17;
+				style.normal = {
+					image = grid("themes/default/img/scrollhandle.png", hline(3, 14), vline(3, 14));
+					background = solid(white);
+					border = 1 rgba(.1, .1, .1, .8);
+				}
+			}
+			
+			handleSize = .2;
+			skip = false;
+		}
+
+		new ScrollbarButton button2 {
+			arrowDir = 0;
+		}
+	}
+	
+	handleSize = prop(slider.handleSize);
+	position = prop(slider.position);
+	skipSize = prop(slider.skipSize);
+
+	button1 = sub(button1);
+	button2 = sub(button2);
+	slider = sub(slider);
+}
+
+
+
+widget VScrollbar {
+	[vexpand vfill] new VBox {
+		shape = Rectangle;
+		style.normal = {
+			background = solid(rgba(0.26, 0.26, 0.26, 1));
+		}
+
+		new ScrollbarButton button1 {
+			arrowDir = 1;
+		}
+		
+		[vexpand vfill] new VWidgetSlider slider {
+			new Graphic {
+				size = 17 17;
+				style.normal = {
+					image = grid("themes/default/img/scrollhandle.png", hline(3, 14), vline(3, 14));
+					background = solid(white);
+					border = 1 rgba(.1, .1, .1, .8);
+				}
+			}
+			
+			handleSize = .2;
+			skip = false;
+		}
+
+		new ScrollbarButton button2 {
+			arrowDir = 3;
+		}
+	}
+
+	handleSize = prop(slider.handleSize);
+	position = prop(slider.position);
+	skipSize = prop(slider.skipSize);
+
+	button1 = sub(button1);
+	button2 = sub(button2);
+	slider = sub(slider);
+}