From: André Pönitz <poenitz@gmx.net>
Date: Fri, 24 Aug 2001 10:03:29 +0000 (+0000)
Subject: small script based on Jules Beans's suggestion to help people who want to
X-Git-Tag: 1.6.10~20764
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=a85d0b3fefe41bb13e2e91e911958b111128f1f0;p=features.git

small script based on Jules Beans's suggestion to help people who want to
add mathed support for new symbols


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@2581 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/src/mathed/texify b/src/mathed/texify
new file mode 100755
index 0000000000..c4dad63ebc
--- /dev/null
+++ b/src/mathed/texify
@@ -0,0 +1,60 @@
+#!/usr/bin/tclsh
+
+# Script built on an idea of Jules Bean to extract "what TeX would do" from
+# a given macro.
+#
+# Call it with  texify '\macro' [...] to get a line per item giving ascent,
+# descent, width and the primitives that TeX would use to typeset the item
+
+# Original script:
+#\batchmode
+#\def\entails{$1}
+#\edef\temp{\entails}
+#\message{\string\meaning\temp}
+#\setbox5=\box{$\entails$}
+#\showbox5
+#\bye
+
+set filebase texifytmp
+set hboxexp {^\\hbox.([0-9.]+)\+([0-9.]+).x([0-9.]+)}
+set fontexp {^\.+\\ten([a-z]+) (.*)$}
+
+foreach item $::argv {
+	set font    unknown
+	set char    {}
+	set value   0
+	set ascent  0
+	set descent 0
+	set widht   0
+
+	set f [open $filebase.tex w 0600]
+	puts $f "\\nonstopmode"
+	puts $f "\\setbox5=\\hbox\{\$$item\$\}"
+	puts $f "\\showbox5"
+	puts $f ""
+	puts $f "\\end"
+	close $f
+
+	if {[catch {exec tex $filebase.tex} err]} {
+		#puts "Error: '$err'"
+	}
+
+	set f [open $filebase.log r]
+	while {![eof $f]} {
+		gets $f line
+		regexp $hboxexp $line dummy ascent descent width
+		regexp $fontexp $line dummy font char
+	}
+	close $f
+
+	if {![string equal $font "unknown"]} {
+		if {[string equal -length 2 $char {^^}]} {
+			scan $char "%c%c%c" dummy1 dummy2 value
+			set value [expr {$value - 64}]
+		} else {
+			scan $char "%c" value
+		}
+	}
+
+	puts [list $ascent $descent $width $font $value $char]
+}