Bläddra i källkod

fix(prompt): 信息栏重新 split 时需要刷新 buffer

dzp 2 år sedan
förälder
incheckning
04a6412337
1 ändrade filer med 1 tillägg och 0 borttagningar
  1. 1 0
      plugins/lib/ui/prompt.tin

+ 1 - 0
plugins/lib/ui/prompt.tin

@@ -383,6 +383,7 @@ tt++ table 由一组选项和与之对应的选项值来组成,用来说明想
         #var prompt-top-max-line {$topMaxLine};
         #var prompt-bot-max-line {$botMaxLine};
         #split {$topMaxLine} {$botMaxLine};
+        #buffer end;
     };
 
     #local idx {};