@@ -22,6 +22,7 @@ export interface TerminalState {
2222 readonly showWatermark : boolean ;
2323 readonly showGlassReflection : boolean ;
2424 readonly opacity : number ;
25+ readonly alternativeTheme : boolean ;
2526}
2627
2728const initialState : TerminalState = {
@@ -39,6 +40,7 @@ const initialState: TerminalState = {
3940 showWatermark : true ,
4041 showGlassReflection : false ,
4142 opacity : 100 ,
43+ alternativeTheme : false ,
4244} ;
4345
4446const store = createStore (
@@ -67,6 +69,10 @@ export function toggleShowHeader() {
6769 store . update ( setProp ( 'showHeader' , showHeader => ! showHeader ) ) ;
6870}
6971
72+ export function toggleAlternativeTheme ( ) {
73+ store . update ( setProp ( 'alternativeTheme' , alternative => ! alternative ) ) ;
74+ }
75+
7076export function toggleWatermark ( ) {
7177 store . update ( setProp ( 'showWatermark' , showWatermark => ! showWatermark ) ) ;
7278}
@@ -82,3 +88,7 @@ export function setTabName(tabName: string) {
8288export const terminal$ = store . pipe ( distinctUntilChanged ( shallow ) ) ;
8389
8490export const tabName$ = store . pipe ( select ( state => state . tabName ) ) ;
91+
92+ export const isAlternativeTheme$ = store . pipe (
93+ select ( state => state . alternativeTheme ) ,
94+ ) ;
0 commit comments