You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We can't upgrade xterm yet because of xtermjs/xterm.js#2620.
Our theme values are inherited from our CSS variables, which
can include rgba() values, and currently only #rrggbbaa is
supported.
lresende
added a commit
to lresende/jupyterlab
that referenced
this issue
Dec 18, 2019
We can't upgrade xterm yet because of xtermjs/xterm.js#2620.
Our theme values are inherited from our CSS variables, which
can include rgba() values, and currently only #rrggbbaa is
supported.
Tyriar
added a commit
to Tyriar/xterm.js
that referenced
this issue
Dec 26, 2019
In the demo run:
term.setOption("theme", { selection: "rgba(255, 255, 255, 0.3)" })
This should set the selection to the default color but if you try to select something no color shows up.
Details
Steps to reproduce
term.setOption("theme", { selection: "rgba(255, 255, 255, 0.3)" })
The text was updated successfully, but these errors were encountered: