From 216ec9d52b109eeee888800159498073a9dfb729 Mon Sep 17 00:00:00 2001 From: fufesou <13586388+fufesou@users.noreply.github.com> Date: Wed, 28 Jan 2026 15:12:42 +0800 Subject: [PATCH] fix(terminal): ios delete (#14147) Signed-off-by: fufesou --- flutter/lib/mobile/pages/terminal_page.dart | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/flutter/lib/mobile/pages/terminal_page.dart b/flutter/lib/mobile/pages/terminal_page.dart index a0064f068..67d77782f 100644 --- a/flutter/lib/mobile/pages/terminal_page.dart +++ b/flutter/lib/mobile/pages/terminal_page.dart @@ -164,6 +164,13 @@ class _TerminalPageState extends State autofocus: true, textStyle: _getTerminalStyle(), backgroundOpacity: 0.7, + // The following comment is from xterm.dart source code: + // Workaround to detect delete key for platforms and IMEs that do not + // emit a hardware delete event. Preferred on mobile platforms. [false] by + // default. + // + // Android works fine without this workaround. + deleteDetection: isIOS, padding: _calculatePadding(heightPx), onSecondaryTapDown: (details, offset) async { final selection = _terminalModel.terminalController.selection;