mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 16:51:42 +03:00
deps: replace deprecated xterm#setOption
See: https://github.com/xtermjs/xterm.js/blob/4.15.0/typings/xterm.d.ts#L1053
This commit is contained in:
parent
349033fb12
commit
37ce741a77
@ -155,7 +155,7 @@ export default function Buffer({ name, selected, dark }: BufferProps) {
|
||||
// set up xterm terminal
|
||||
//
|
||||
const term = new Terminal(termConfig);
|
||||
term.setOption('theme', makeTheme(dark));
|
||||
term.options.theme = makeTheme(dark);
|
||||
const fit = new FitAddon();
|
||||
term.loadAddon(fit);
|
||||
fit.fit();
|
||||
@ -252,7 +252,7 @@ export default function Buffer({ name, selected, dark }: BufferProps) {
|
||||
useEffect(() => {
|
||||
const theme = makeTheme(dark);
|
||||
if (session) {
|
||||
session.term.setOption('theme', theme);
|
||||
session.term.options.theme = theme;
|
||||
}
|
||||
if (container.current) {
|
||||
container.current.style.backgroundColor = theme.background || '';
|
||||
|
Loading…
Reference in New Issue
Block a user