jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-07-19 17:26:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed the issue with the terminal.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta 2020-07-20 16:59:06 +02:00
parent 47fb5105c5
commit 2f8ac44152
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
arduino-ide-extension/src/browser/style/index.css
View File

@ -4,6 +4,7 @@
@import './monitor.css'; @import './monitor.css';
@import './arduino-select.css'; @import './arduino-select.css';
@import './status-bar.css'; @import './status-bar.css';
@import './terminal.css';
.theia-input.warning:focus { .theia-input.warning:focus {
outline-width: 1px; outline-width: 1px;

3
arduino-ide-extension/src/browser/style/terminal.css Normal file
View File

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