@@ -638,7 +638,7 @@ You can refer to the graph as \\ref{figure:nickname}\n'
638638 this . refs . mainEditor . editor . clearSelection ( )
639639 setTimeout ( ( ) => {
640640 this . focusEditor ( 0 )
641- } , 0.1 )
641+ } , 10 )
642642 } )
643643 }
644644
@@ -653,7 +653,7 @@ You can refer to the graph as \\ref{figure:nickname}\n'
653653 this . refs . bibEditor . editor . clearSelection ( )
654654 setTimeout ( ( ) => {
655655 this . focusEditor ( 1 )
656- } , 0.1 )
656+ } , 10 )
657657 } )
658658 }
659659
@@ -668,7 +668,7 @@ You can refer to the graph as \\ref{figure:nickname}\n'
668668 this . refs . splitEditor . editor . clearSelection ( )
669669 setTimeout ( ( ) => {
670670 this . focusEditor ( 2 )
671- } , 0.1 )
671+ } , 10 )
672672 } )
673673 }
674674
@@ -1017,19 +1017,19 @@ note = ,\n\u007D\n'
10171017 if ( index == 0 ) {
10181018 this . refs . mainEditor . editor . clearSelection ( )
10191019 this . refs . mainEditor . editor . moveCursorTo ( this . state . texRow , this . state . texColumn )
1020- this . refs . mainEditor . editor . scrollToLine ( this . state . texRow , true , true )
1020+ this . refs . mainEditor . editor . scrollToLine ( this . state . texRow , false , true )
10211021 this . refs . mainEditor . editor . focus ( )
10221022 this . refs . mainEditor . editor . clearSelection ( )
10231023 } else if ( index == 2 ) {
10241024 this . refs . splitEditor . editor . clearSelection ( )
10251025 this . refs . splitEditor . editor . moveCursorTo ( this . state . splitRow , this . state . splitColumn )
1026- this . refs . splitEditor . editor . scrollToLine ( this . state . splitRow , true , true )
1026+ this . refs . splitEditor . editor . scrollToLine ( this . state . splitRow , false , true )
10271027 this . refs . splitEditor . editor . focus ( )
10281028 this . refs . splitEditor . editor . clearSelection ( )
10291029 } else {
10301030 this . refs . bibEditor . editor . clearSelection ( )
10311031 this . refs . bibEditor . editor . moveCursorTo ( this . state . bibRow , this . state . bibColumn )
1032- this . refs . bibEditor . editor . scrollToLine ( this . state . bibRow , true , true )
1032+ this . refs . bibEditor . editor . scrollToLine ( this . state . bibRow , false , true )
10331033 this . refs . bibEditor . editor . focus ( )
10341034 this . refs . bibEditor . editor . clearSelection ( )
10351035 }
@@ -1499,7 +1499,7 @@ note = ,\n\u007D\n'
14991499 splitSession . setUndoManager ( splitUndoManager )
15001500 setTimeout ( ( ) => {
15011501 this . focusEditor ( 2 )
1502- } , 5 )
1502+ } , 10 )
15031503 } ) }
15041504 />
15051505 const bottomButton2WildCard = < BottomNavigationItem
@@ -1523,7 +1523,7 @@ note = ,\n\u007D\n'
15231523 splitSession . setUndoManager ( splitUndoManager )
15241524 setTimeout ( ( ) => {
15251525 this . focusEditor ( 2 )
1526- } , 5 )
1526+ } , 10 )
15271527 } ) }
15281528 />
15291529 const bottomButton2Split = < BottomNavigationItem
0 commit comments