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 */ +}