File tree 1 file changed +3
-2
lines changed
arduino-ide-extension/src/browser/serial/monitor
1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -10,6 +10,7 @@ import {
10
10
import { ArduinoToolbar } from '../../toolbar/arduino-toolbar' ;
11
11
import { ArduinoMenus } from '../../menu/arduino-menus' ;
12
12
import { nls } from '@theia/core/lib/common' ;
13
+ import { Event } from '@theia/core/lib/common/event' ;
13
14
import { MonitorModel } from '../../monitor-model' ;
14
15
import { MonitorManagerProxyClient } from '../../../common/protocol' ;
15
16
@@ -84,13 +85,13 @@ export class MonitorViewContribution
84
85
id : 'monitor-autoscroll' ,
85
86
render : ( ) => this . renderAutoScrollButton ( ) ,
86
87
isVisible : ( widget ) => widget instanceof MonitorWidget ,
87
- onDidChange : this . model . onChange as any , // XXX: it's a hack. See: https://github.com/eclipse-theia/theia/pull/6696/
88
+ onDidChange : this . model . onChange as Event < unknown > as Event < void > ,
88
89
} ) ;
89
90
registry . registerItem ( {
90
91
id : 'monitor-timestamp' ,
91
92
render : ( ) => this . renderTimestampButton ( ) ,
92
93
isVisible : ( widget ) => widget instanceof MonitorWidget ,
93
- onDidChange : this . model . onChange as any , // XXX: it's a hack. See: https://github.com/eclipse-theia/theia/pull/6696/
94
+ onDidChange : this . model . onChange as Event < unknown > as Event < void > ,
94
95
} ) ;
95
96
registry . registerItem ( {
96
97
id : SerialMonitor . Commands . CLEAR_OUTPUT . id ,
You can’t perform that action at this time.
0 commit comments