X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=jsMath%2Fextensions%2Ffont.js;fp=jsMath%2Fextensions%2Ffont.js;h=0000000000000000000000000000000000000000;hb=cb3848eeb2c1340d5a5090b46b51c6e53b21ad39;hp=0c98ca437168c20c71f96fa6af6e04423622d3a1;hpb=10b8a88ca57bb59dc6d5866d943a193f2ecf11d4;p=lambda.git

diff --git a/jsMath/extensions/font.js b/jsMath/extensions/font.js
deleted file mode 100644
index 0c98ca43..00000000
--- a/jsMath/extensions/font.js
+++ /dev/null
@@ -1,38 +0,0 @@
-jsMath.Package(jsMath.Parser,{
-
-  macros: {font: 'Font'},
-  fontCS: {},
-  
-  /*
-   *  Get a CS name or give an error
-   */
-  GetCSname: function (cmd) {
-    var c = this.GetNext();
-    if (c != this.cmd) {this.Error(cmd+" must be followed by a control sequence"); return null}
-    var cs = this.trimSpaces(this.GetArgument(cmd)); if (this.error) {return null};
-    return cs.substr(1);
-  },
-
-  /*
-   *  Handle the \font command
-   */
-  Font: function (name) {
-    var cs = this.GetCSname(this.cmd+name); if (this.error) return;
-    while (this.nextIsSpace()) {this.i++}
-    if (this.string.charAt(this.i++) == '=') {
-      while (this.nextIsSpace()) {this.i++}
-      var font = this.string.slice(this.i).match(/^[a-z]+[0-9]+/i);
-      if (font) {
-        this.i += (new String(font)).length;
-        if (jsMath.TeX.famName[font] != null) {
-          this.macros[cs] = ['HandleFont',jsMath.TeX.famName[font]];
-        } else {
-          this.macros[cs] = ['Extension',jsMath.Font.URL(font),"fontCS"];
-          this.fontCS[cs] = 1; // so Extension has something to delete
-        }
-      } else {this.Error("Missing font name")}
-    } else {this.Error("Missing font definition")}
-  }
-  
-});
-