change theme also on existing windows

This commit is contained in:
FelixSe committed 2018-02-14 11:56:52 +01:00
1 parent 0b6b8a9968
commit 0b40963c82
10 files changed
+111 -44

No files matched your search

+8
View File
@@ -143,8 +143,16 @@ function connectToWebSocket(url) {
socket.onopen = attachTerminal;
}
function changeTheme(theme) {
theme = JSON.parse(theme);
theme.background = 'transparent';
term.setOption('theme', theme);
}
window.createTerminal = createTerminal;
window.connectToWebSocket = connectToWebSocket;
window.changeTheme = changeTheme;
/***/ }),
/* 1 */
+9 -1
View File
@@ -64,5 +64,13 @@ function connectToWebSocket(url) {
socket.onopen = attachTerminal;
}
function changeTheme(theme) {
theme = JSON.parse(theme);
theme.background = 'transparent';
term.setOption('theme', theme);
}
window.createTerminal = createTerminal;
window.connectToWebSocket = connectToWebSocket;
window.connectToWebSocket = connectToWebSocket;
window.changeTheme = changeTheme;