[tekui-devel] tekui: CheckMark, RadioButton, DirList, stylesheets, theme impor...

[Timm S. Mueller]

details:   http://hg.teklib.org/tekui/rev/ff5e1974fb75
changeset: 41:ff5e1974fb75
user:      Timm S. Mueller <tmueller at schulze-mueller.de>
date:      Thu Nov 20 22:39:46 2008 +0100
description:
CheckMark, RadioButton, DirList, stylesheets, theme import: Minor changes in
appearance

diffs (truncated from 219 to 100 lines):

diff -r 3bc0bbf3d94f -r ff5e1974fb75 bin/filereq.lua
--- a/bin/filereq.lua	Fri Nov 14 19:33:45 2008 +0100
+++ b/bin/filereq.lua	Thu Nov 20 22:39:46 2008 +0100
@@ -11,6 +11,7 @@ app = ui.Application:new
 {
 	ApplicationId = APP_ID,
 	VendorDomain = VENDOR,
+-- 	ThemeName = "internal",
 	Children =
 	{
 		ui.Window:new
diff -r 3bc0bbf3d94f -r ff5e1974fb75 doc/manual.html
--- a/doc/manual.html	Fri Nov 14 19:33:45 2008 +0100
+++ b/doc/manual.html	Thu Nov 20 22:39:46 2008 +0100
@@ -419,7 +419,7 @@
 			</p>
 			<hr />
 		</div>
-		<div class="node"><h2><a name="tek.ui.class.dirlist" id="tek.ui.class.dirlist">DirList (v9.3)</a></h2>
+		<div class="node"><h2><a name="tek.ui.class.dirlist" id="tek.ui.class.dirlist">DirList (v9.4)</a></h2>
 			<div class="definition"><dfn>LINEAGE</dfn>
 				<blockquote>
 					<p>
@@ -1019,7 +1019,7 @@
 			</p>
 			<hr />
 		</div>
-		<div class="node"><h2><a name="tek.ui.class.checkmark" id="tek.ui.class.checkmark">CheckMark (v3.3)</a></h2>
+		<div class="node"><h2><a name="tek.ui.class.checkmark" id="tek.ui.class.checkmark">CheckMark (v3.4)</a></h2>
 			<div class="definition"><dfn>LINEAGE</dfn>
 				<blockquote>
 					<p>
@@ -2605,7 +2605,7 @@
 			</p>
 			<hr />
 		</div>
-		<div class="node"><h2><a name="tek.ui.class.theme" id="tek.ui.class.theme">Theme (v6.8)</a></h2>
+		<div class="node"><h2><a name="tek.ui.class.theme" id="tek.ui.class.theme">Theme (v6.9)</a></h2>
 			<div class="definition"><dfn>LINEAGE</dfn>
 				<blockquote>
 					<p>
@@ -3564,7 +3564,7 @@
 			</p>
 			<hr />
 		</div>
-		<div class="node"><h2><a name="tek.ui.class.radiobutton" id="tek.ui.class.radiobutton">RadioButton (v2.3)</a></h2>
+		<div class="node"><h2><a name="tek.ui.class.radiobutton" id="tek.ui.class.radiobutton">RadioButton (v2.5)</a></h2>
 			<div class="definition"><dfn>LINEAGE</dfn>
 				<blockquote>
 					<p>
@@ -7295,7 +7295,7 @@ Class.checkDescend(Button, Area)
 </pre>
 		<hr />
 		<p>
-			Document generated on Fri Nov 14 19:30:26 2008
+			Document generated on Thu Nov 20 22:36:09 2008
 		</p>
 	</div>
 	</body>
diff -r 3bc0bbf3d94f -r ff5e1974fb75 tek/ui/class/checkmark.lua
--- a/tek/ui/class/checkmark.lua	Fri Nov 14 19:33:45 2008 +0100
+++ b/tek/ui/class/checkmark.lua	Thu Nov 20 22:39:46 2008 +0100
@@ -40,7 +40,7 @@ local max = math.max
 local max = math.max
 
 module("tek.ui.class.checkmark", tek.ui.class.text)
-_VERSION = "CheckMark 3.3"
+_VERSION = "CheckMark 3.4"
 
 -------------------------------------------------------------------------------
 --	Constants & Class data:
@@ -67,6 +67,7 @@ local points1 = { 1,2,3,4,5,6 }
 local points1 = { 1,2,3,4,5,6 }
 local points21 = { 13,14,7,8,9,10 }
 local points22 = { 9,10,11,12,13,14 }
+local points3 = { 8,10,14,12 }
 
 local CheckImage1 = VectorImage:new
 {
@@ -77,6 +78,7 @@ local CheckImage1 = VectorImage:new
 		{
 			{ 0x1000, 6, Points = points21, Pen = ui.PEN_BORDERSHADOW },
 			{ 0x1000, 6, Points = points22, Pen = ui.PEN_BORDERSHINE },
+			{ 0x1000, 4, Points = points3, Pen = ui.PEN_BACKGROUND },
 		}
 	}
 }
@@ -90,6 +92,7 @@ local CheckImage2 = VectorImage:new
 		{
 			{ 0x1000, 6, Points = points21, Pen = ui.PEN_BORDERSHADOW },
 			{ 0x1000, 6, Points = points22, Pen = ui.PEN_BORDERSHINE },
+			{ 0x1000, 4, Points = points3, Pen = ui.PEN_BACKGROUND },
 			{ 0x2000, 6, Points = points1, Pen = ui.PEN_DETAIL },
 		}
 	}
diff -r 3bc0bbf3d94f -r ff5e1974fb75 tek/ui/class/dirlist.lua
--- a/tek/ui/class/dirlist.lua	Fri Nov 14 19:33:45 2008 +0100
+++ b/tek/ui/class/dirlist.lua	Thu Nov 20 22:39:46 2008 +0100
@@ -68,7 +68,7 @@ local sort = table.sort
 local sort = table.sort