term (ble/term/leave): flush buffered "modifyOtherKeys"

akinomyoga · Feb 9, 2023 · f3a8382 · f3a8382
1 parent 3c4e3a4
commit f3a8382
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/util.sh b/src/util.sh
@@ -3518,13 +3518,15 @@ function ble/term/enter-for-widget {
   ble/term/modifyOtherKeys/enter
   ble/term/cursor-state/.update "$_ble_term_cursor_internal"
   ble/term/cursor-state/.update-hidden "$_ble_term_cursor_hidden_internal"
+  ble/util/buffer.flush >&2
 }
 function ble/term/leave-for-widget {
   ble/term/visible-bell/erase
   ble/term/bracketed-paste-mode/leave
   ble/term/modifyOtherKeys/leave
   ble/term/cursor-state/.update "$bleopt_term_cursor_external"
   ble/term/cursor-state/.update-hidden reveal
+  ble/util/buffer.flush >&2
 }
 
 _ble_term_state=external