[tekui-devel] tekui: Button class removed; Class: added debug and proxy support;

[Timm S. Mueller]

details:   http://hg.teklib.org/tekui/rev/05d1f38d5c9d
changeset: 394:05d1f38d5c9d
user:      Timm S. Mueller <tmueller at neoscientists.org>
date:      Sat Mar 29 05:04:48 2008 +0100
description:
Button class removed; Class: added debug and proxy support;
Element:getPrivate() added; Text: "button" mode also select button looks

diffs (truncated from 1475 to 100 lines):

diff -r 600306bd8b98 -r 05d1f38d5c9d tek/app/ui/alignment.lua
--- a/tek/app/ui/alignment.lua	Fri Mar 28 16:59:26 2008 +0100
+++ b/tek/app/ui/alignment.lua	Sat Mar 29 05:04:48 2008 +0100
@@ -18,9 +18,9 @@ ui.Application:new
 					Legend = "Align Horizontal",
 					Children =
 					{
-						ui.button:new { Label = "Begin", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 0 },
-						ui.button:new { Label = "Center", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 1 },
-						ui.button:new { Label = "End", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 2 },
+						ui.text:new { Label = "Begin", Mode = "button", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 0 },
+						ui.text:new { Label = "Center", Mode = "button", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 1 },
+						ui.text:new { Label = "End", Mode = "button", MaxWidth = 0, MaxHeight = ui.HUGE, HAlign = 2 },
 					},
 				},
 				ui.group:new
@@ -31,9 +31,9 @@ ui.Application:new
 					Legend = "Align Vertical",
 					Children =
 					{
-						ui.button:new { Label = "Begin", MaxWidth = ui.HUGE, VAlign = 0 },
-						ui.button:new { Label = "Center", MaxWidth = ui.HUGE, VAlign = 1 },
-						ui.button:new { Label = "End", MaxWidth = ui.HUGE, VAlign = 2 },
+						ui.text:new { Label = "Begin", Mode = "button", MaxWidth = ui.HUGE, VAlign = 0 },
+						ui.text:new { Label = "Center", Mode = "button", MaxWidth = ui.HUGE, VAlign = 1 },
+						ui.text:new { Label = "End", Mode = "button", MaxWidth = ui.HUGE, VAlign = 2 },
 					},
 				},
 			},
diff -r 600306bd8b98 -r 05d1f38d5c9d tek/app/ui/demo.lua
--- a/tek/app/ui/demo.lua	Fri Mar 28 16:59:26 2008 +0100
+++ b/tek/app/ui/demo.lua	Sat Mar 29 05:04:48 2008 +0100
@@ -116,15 +116,15 @@ ui.Application:new
 					Orientation = 1,
 					Legend = "Relative Sizes",
 					Children = {
-						ui.Button:new { Label = "1", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "12", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "123", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "1234", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "12345", MaxWidth = ui.HUGE },
+						ui.text:new { Mode = "button", Label = "1", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "12", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "123", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "1234", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "12345", MaxWidth = ui.HUGE },
 					},
 				},
 				ui.Group:new {
@@ -132,15 +132,15 @@ ui.Application:new
 					SameSize = true,
 					Legend = "Same Sizes",
 					Children = {
-						ui.Button:new { Label = "1", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "12", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "123", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "1234", MaxWidth = ui.HUGE },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "12345", MaxWidth = ui.HUGE },
+						ui.text:new { Mode = "button", Label = "1", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "12", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "123", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "1234", MaxWidth = ui.HUGE },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "12345", MaxWidth = ui.HUGE },
 					},
 				},
 				ui.Group:new {
@@ -148,33 +148,33 @@ ui.Application:new
 					MaxHeight = ui.HUGE,
 					Legend = "Different Weights",
 					Children = {
-						ui.Button:new { Label = "25%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x4000 },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "25%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x4000 },
-						ui.Spacer:new { },
-						ui.Button:new { Label = "50%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x8000 },
+						ui.text:new { Mode = "button", Label = "25%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x4000 },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "25%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x4000 },
+						ui.Spacer:new { },
+						ui.text:new { Mode = "button", Label = "50%", MaxWidth = ui.HUGE, MaxHeight = ui.HUGE, Weight=0x8000 },
 					},
 				},
 				ui.Group:new {
 					Orientation = 1,