[tekui-devel] tekui: Gadget, Text: KeyCode is registered during connectGlobal(...

[Timm S. Mueller]

details:   http://hg.teklib.org/tekui/rev/8aaf1a2e841d
changeset: 496:8aaf1a2e841d
user:      Timm S. Mueller <tmueller at neoscientists.org>
date:      Tue May 13 18:08:58 2008 +0200
description:
Gadget, Text: KeyCode is registered during connectGlobal(); Gadget, Window:
keyboard shortcuts are now processed in Window instead of Gadget; PopItem:
Simplified logic to kill active popup; Window: added addKeyShortcut(),
remKeyShortcut() and code to serve keyboard shortcuts in message handlers

diffs (truncated from 335 to 100 lines):

diff -r 6ce6df7e7aa0 -r 8aaf1a2e841d README
--- a/README	Tue May 13 12:49:16 2008 +0200
+++ b/README	Tue May 13 18:08:58 2008 +0200
@@ -71,8 +71,8 @@ If you find this software useful, you ha
 If you find this software useful, you have probably arranged to fit
 it to a certain device or application - submit your additions and we
 will check them for inclusion to the source code repository. Regular
-developers are also welcome. Please note that if paying customers
-show up, they will be served first and may keep us busy.
+developers are also welcome. Note, however, that if paying customers
+approach us, they will be served first and may keep us busy.
 
 === 1.5. Authors and contact ===
 
diff -r 6ce6df7e7aa0 -r 8aaf1a2e841d bin/demo.lua
--- a/bin/demo.lua	Tue May 13 12:49:16 2008 +0200
+++ b/bin/demo.lua	Tue May 13 18:08:58 2008 +0200
@@ -435,7 +435,7 @@ ui.Application:new
 					{
 						ui.MenuItem:new
 						{
-							Label = "File",
+							Label = "_File",
 							Children =
 							{
 								ui.MenuItem:new
@@ -504,7 +504,7 @@ ui.Application:new
 										ui.Text:new
 										{
 											Mode = "button",
-											Label = "Layout",
+											Label = "_Layout",
 											Width = "fill",
 											Id = "layout-button",
 											Mode = "toggle",
@@ -529,7 +529,7 @@ ui.Application:new
 										ui.Text:new
 										{
 											Mode = "button",
-											Label = "Animation",
+											Label = "_Animation",
 											Width = "fill",
 											Id = "anims-button",
 											Mode = "toggle",
@@ -561,7 +561,7 @@ ui.Application:new
 										ui.Text:new
 										{
 											Mode = "button",
-											Label = "Notification",
+											Label = "_Notification",
 											Width = "fill",
 											Id = "notifications-button",
 											Mode = "toggle",
diff -r 6ce6df7e7aa0 -r 8aaf1a2e841d bin/pop.lua
--- a/bin/pop.lua	Tue May 13 12:49:16 2008 +0200
+++ b/bin/pop.lua	Tue May 13 18:08:58 2008 +0200
@@ -40,8 +40,8 @@ local success, state = ui.application:ne
 				},
 				ui.group:new {
 					Children = {
-						ui.text:new { Mode = "button", Label = "Toggle", Mode = "toggle", Width = "auto", Id = "togglebutton" },
-						ui.text:new { Mode = "button", Label = "Clickme", Width = "auto",
+						ui.text:new { Mode = "button", Label = "_Toggle", Mode = "toggle", Width = "auto", Id = "togglebutton" },
+						ui.text:new { Mode = "button", Label = "_Clickme", Width = "auto",
 							Notifications =
 							{
 								["Pressed"] =
@@ -57,31 +57,31 @@ local success, state = ui.application:ne
 								}
 							}
 						},
-						ui.popitem:new { Label = "PopItem0",
+						ui.popitem:new { Label = "PopItem_0",
 							Children = {
 								ui.popitem:new { Label = "Eins" },
 								ui.popitem:new { Label = "Zwei" },
 							},
 						},
 
-						ui.popitem:new { Label = "PopItem",
+						ui.popitem:new { Label = "_PopItem",
 							-- these children are not connected:
 							Children = {
-								ui.popitem:new { Label = "Langer text",
+								ui.popitem:new { Label = "_Langer text",
 									Children = {
 										ui.popitem:new { Label = "Eins" },
 										ui.popitem:new { Label = "Zwei" },
 										ui.popitem:new { Label = "Drei" },
 									},
 								},
-								ui.popitem:new { Label = "Bar",
+								ui.popitem:new { Label = "_Bar",
 									Children = {
 										ui.popitem:new { Label = "Hallo" },
-										ui.popitem:new { Label = "Ausserordentlich langer Text",
+										ui.popitem:new { Label = "_Ausserordentlich langer Text",
 											Children = {
 												ui.popitem:new { Label = "Eins" },
 												ui.spacer:new { },