File tree Expand file tree Collapse file tree 1 file changed +0
-13
lines changed
Expand file tree Collapse file tree 1 file changed +0
-13
lines changed Original file line number Diff line number Diff line change @@ -96,27 +96,14 @@ export namespace NewTex {
9696 let forms = mo . getForms ( ) ;
9797 let symbol ;
9898 for ( let form of forms ) {
99- // console.log(form);
100- // console.log(MmlMo.OPTABLE[form]);
101- // console.log(mo.getText());
10299 symbol = MmlMo . OPTABLE [ form ] [ mo . getText ( ) ] ;
103100 if ( symbol ) {
104- console . log ( form ) ;
105101 break ;
106102 }
107103 }
108- if ( ! symbol ) {
109- console . log ( 'No symbol found: ' + mo . getText ( ) + ' for ' + forms ) ;
110- }
111104 if ( symbol && symbol [ 3 ] && symbol [ 3 ] [ 'stretchy' ] ) {
112105 TreeHelper . setAttribute ( mo , 'stretchy' , false ) ;
113106 }
114- if ( symbol ) {
115- console . log ( 'Symbol: ' + mo . getText ( ) + ' old: ' + mo . texClass + ' new: ' + symbol [ 2 ] ) ;
116- }
117- // console.log(forms);
118- // console.log(mo);
119- // console.log(MmlMo.OPTABLE);
120107 }
121108 // TODO: Should not be necessary anymore!
122109 // if (isError) {
You can’t perform that action at this time.
0 commit comments