From 2f8ac441529d9d371c89914cf669324303bc7e25 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 20 Jul 2020 16:59:06 +0200 Subject: [PATCH] fixed the issue with the terminal. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/style/index.css | 1 + arduino-ide-extension/src/browser/style/terminal.css | 3 +++ 2 files changed, 4 insertions(+) create mode 100644 arduino-ide-extension/src/browser/style/terminal.css diff --git a/arduino-ide-extension/src/browser/style/index.css b/arduino-ide-extension/src/browser/style/index.css index e5c34cdf..bb8c88c3 100644 --- a/arduino-ide-extension/src/browser/style/index.css +++ b/arduino-ide-extension/src/browser/style/index.css @@ -4,6 +4,7 @@ @import './monitor.css'; @import './arduino-select.css'; @import './status-bar.css'; +@import './terminal.css'; .theia-input.warning:focus { outline-width: 1px; diff --git a/arduino-ide-extension/src/browser/style/terminal.css b/arduino-ide-extension/src/browser/style/terminal.css new file mode 100644 index 00000000..34ea6ccf --- /dev/null +++ b/arduino-ide-extension/src/browser/style/terminal.css @@ -0,0 +1,3 @@ +.terminal-container .xterm .xterm-helper-textarea { + opacity: 0 !important; /* fix secondary cursor-like issue. See https://github.com/eclipse-theia/theia/issues/8158 */ +}