[tekui-devel] tekui: Various changes to track down initial refresh problems; a...

[Timm S. Mueller]

details:   http://hg.teklib.org/tekui/rev/3e37f2f0a6bc
changeset: 357:3e37f2f0a6bc
user:      Timm S. Mueller <tmueller at neoscientists.org>
date:      Wed Feb 06 01:42:04 2008 +0100
description:
Various changes to track down initial refresh problems; added CheckMark class;
RadioButton now inherits from CheckMark; radiotest renamed to choices

diffs (truncated from 354 to 100 lines):

diff -r 2777faad3ce1 -r 3e37f2f0a6bc tek/app/ui/choices.lua
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tek/app/ui/choices.lua	Wed Feb 06 01:42:04 2008 +0100
@@ -0,0 +1,47 @@
+#!/usr/bin/env lua
+
+local db = require "tek.lib.debug"
+local ui = require "tek.lib.ui"
+db.level = 4
+
+ui.application:new {
+	Children = {
+		ui.window:new {
+			HMax = false,
+			Title = "Choices",
+			Orientation = 1,
+			Legend = "Choices",
+			SameSize = true,
+			Children = {
+				ui.group:new {
+					Legend = "Order Beverages",
+					HMax = true,
+					Children = {
+						ui.CheckMark:new { Label = "Water" },
+						ui.CheckMark:new { Label = "Juice" },
+						ui.CheckMark:new { Label = "Tea" },
+						ui.CheckMark:new { Label = "Milk" },
+						ui.CheckMark:new { Label = "Lassi" },
+						ui.CheckMark:new { Label = "Coffee" },
+						ui.CheckMark:new { Label = "Beer" },
+						ui.CheckMark:new { Label = "Wine" },
+					},
+				},
+				ui.group:new {
+					Legend = "Are you impressed?",
+					HMax = true,
+					Children = {
+						ui.RadioButton:new { Label = "Yes" },
+						ui.RadioButton:new { Label = "No" },
+						ui.RadioButton:new { Label = "Possibly" },
+						ui.RadioButton:new { Label = "Maybe" },
+						ui.RadioButton:new { Label = "Perhaps" },
+						ui.RadioButton:new { Label = "Apparently" },
+						ui.RadioButton:new { Label = "What, me?" },
+						ui.RadioButton:new { Label = "Ask again later" },
+					},
+				},
+			},
+		},
+	},
+}:run()
diff -r 2777faad3ce1 -r 3e37f2f0a6bc tek/app/ui/demo.lua
--- a/tek/app/ui/demo.lua	Tue Feb 05 02:37:54 2008 +0100
+++ b/tek/app/ui/demo.lua	Wed Feb 06 01:42:04 2008 +0100
@@ -1,8 +1,8 @@
 #!/usr/bin/env lua
 
--- require "tek.lib.debug".level = 4
-
+require "tek.lib.debug".level = 4
 local ui = require "tek.lib.ui"
+ui.DEBUG = true
 
 local notifications = ui.window:new {
 	HMax = true,
diff -r 2777faad3ce1 -r 3e37f2f0a6bc tek/app/ui/radiotest.lua
--- a/tek/app/ui/radiotest.lua	Tue Feb 05 02:37:54 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-#!/usr/bin/env lua
-
-require "tek.lib.debug".level = 4
-local ui = require "tek.lib.ui"
-
-ui.application:new {
-	Children = {
-		ui.window:new {
-			Title = "Radiobuttons",
-			Orientation = 1,
-			BackPen = ui.PEN_HALFSHADOW,
-			Legend = "Bunt",
-			Children = {
-				ui.group:new {
-					BackPen = ui.PEN_BUTTONBACK,
-					Legend = "Eins",
-					Children = {
-						ui.RadioButton:new { Label = "Hallo" },
-						ui.RadioButton:new { Label = "Eins" },
-						ui.RadioButton:new { Label = "Zwei" },
-						ui.RadioButton:new { Label = "Drei" },
-						ui.RadioButton:new { Label = "Eins" },
-						ui.RadioButton:new { Label = "Zwei" },
-						ui.RadioButton:new { Label = "Drei" },
-					},
-				},
-				ui.group:new {
-					Legend = "Zwei",
-					Children = {
-						ui.RadioButton:new { Label = "Hallo" },
-						ui.RadioButton:new { Label = "Eins" },