Index: trunk/util/boxsym-rnd/generator.awk
===================================================================
--- trunk/util/boxsym-rnd/generator.awk	(revision 4881)
+++ trunk/util/boxsym-rnd/generator.awk	(revision 4882)
@@ -31,6 +31,7 @@
 	close(cmd)
 	uid0 = substr(uid0, 1, 19)
 	minuid_init(uid0)
+	text_size_mult=0.8333333333
 }
 
 function count_pin_txtbrd(loc, pin, TXTBRD,        pname,len)
@@ -44,7 +45,7 @@
 	len = length(pname)
 	if (PIN[pin, "dir"] != "")
 		len++;
-	len = int(len / 1.2 + 0.5)
+	len = int(len * text_size_mult + 0.5)
 # dbg("name=" pname " " len)
 	if (len > TXTBRD[loc])
 		TXTBRD[loc] = len
Index: trunk/util/boxsym-rnd/parser.awk
===================================================================
--- trunk/util/boxsym-rnd/parser.awk	(revision 4881)
+++ trunk/util/boxsym-rnd/parser.awk	(revision 4882)
@@ -159,3 +159,11 @@
 ($1 == "attr") { SLOT["", "attr",  $2] = del2($0) }
 ($1 == "attr_both") { SLOT["", "attr",  $2] = del2($0); SLOT["", "attr_vis",  $2] = "both"; }
 ($1 == "attr_invis") { SLOT["", "attr",  $2] = del2($0); SLOT["", "attr_vis",  $2] = "none"; }
+
+($1 == "text_size_mult") {
+	text_size_mult = $2 + 0;
+	if (text_size_mult <= 0) {
+		print "text_size_mult must be greater than zero" > "/dev/stderr"
+		exit 1
+	}
+}