+ /*\r
+ struct Theme {\r
+ static bool initialized__;\r
+ static Image default_button, default_horiz_grad;\r
+ enum TYPE_TAG { NORMAL, ALERT };\r
+ public:\r
+ Color normal_foreground[2], active_foreground[2];\r
+ Color normal_background[2], active_background[2], over_background[2];\r
+ Stroke normal_stroke[2], active_stroke[2];\r
+ Image button_back, *horiz_grad;\r
+\r
+ static Theme current;\r
+ static void initialize();\r
+ };\r
+ * */\r
+\r
+ /*\r
+ class WidgetRect : Widget\r
+ {\r
+ protected:\r
+ HumanInterfaceDevice::ButtonStateHolder mleft;\r
+ bool pushed_;\r
+\r
+ public:\r
+ //Theme *theme;\r
+ //Theme::TYPE_TAG theme_type;\r
+ public Rectangle area;\r
+ public Letters label;\r
+\r
+ public abstract WidgetRect();\r
+ public virtual const Point getDatum() const;\r
+ public virtual WidgetRect& setDatum(const Point&);\r
+ public virtual WidgetRect& centering(const Point&);\r
+ public double getWidth() const;\r
+ public double getHeight() const;\r
+ public double getLeft() const;\r
+ public double getTop() const;\r
+ public double getRight() const;\r
+ public double getBottom() const;\r
+ public WidgetRect& alignLeft(const double lef);\r
+ public WidgetRect& alignTop(const double to_);\r
+ public WidgetRect& alignRight(const double rig);\r
+ public WidgetRect& alignBottom(const double bot);\r
+\r
+ public virtual WidgetRect& set(double wid, double hei);\r
+ public virtual WidgetRect& set(std::wstring name);\r
+ public virtual WidgetRect& set(std::wstring name, double hei);\r
+ public virtual WidgetRect& setLabel(std::wstring s);\r
+ public virtual WidgetRect& draw(Drawable &target = *Drawable::prime);\r
+ public bool pushed();\r
+ public WidgetRect& pushThis();\r
+ };\r
+ */\r
+ \r
+ /*\r
+ public class Slider\r
+ {\r
+ public string label;\r
+ public Rectangle outer;\r
+ public Rectangle inner;\r
+ public Stroke outer_strk;\r
+\r
+ public Slider()\r
+ {\r
+ set(0, 0);\r
+ }\r
+ public Slider(double width, double height)\r
+ {\r
+ set(width, height);\r
+ }\r
+ public Slider set(double width, double height)\r
+ {\r
+ outer = new Rectangle(width, height);\r
+ outer.fill = Color.gray;\r
+ inner = new Rectangle();\r
+ inner.fill = Color.blue;\r
+ outer_strk = new Stroke();\r
+ outer_strk.color = Color.white;\r
+ outer_strk.thick = 1;\r
+ return this;\r
+ }\r
+ public void checkClick()\r
+ {\r
+ if (outer.include(Mouse.position))\r
+ {\r
+ outer.stroke = outer_strk;\r
+ }\r
+ }\r
+ }\r
+ */\r
+\r