File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -123,6 +123,7 @@ class Application
123123 private currentInput = "" ;
124124 private postInput = "" ;
125125 private inputType = InputType . Empty ;
126+ private inputEscaped = false ;
126127 private diagramOption : DiagramOption = {
127128 from : - 1 ,
128129 to : - 1 ,
@@ -262,6 +263,9 @@ class Application
262263 {
263264 var a = ( this . currentInput != "" ? this . currentInput : Unicode . SixPerEmSpace ) + this . postInput ;
264265
266+ if ( this . inputEscaped )
267+ a = "\\" + a ;
268+
265269 this . active = null ;
266270 this . afterLayout = [ ] ;
267271
@@ -393,7 +397,11 @@ class Application
393397
394398 if ( this . inputType == InputType . Empty )
395399 {
396- this . currentInput += key ;
400+ if ( key == '\\' )
401+ this . inputEscaped = true ;
402+ else
403+ this . currentInput += key ;
404+
397405 this . inputType = t ;
398406 }
399407 else
@@ -1497,6 +1505,7 @@ class Application
14971505
14981506 this . currentInput = "" ;
14991507 this . inputType = InputType . Empty ;
1508+ this . inputEscaped = false ;
15001509 }
15011510 private pushNumber ( ) : void
15021511 {
You can’t perform that action at this time.
0 commit comments