@@ -21,7 +21,6 @@ class ReactWebView {
21
21
private panel :vscode . WebviewPanel
22
22
private extensionPath :string
23
23
private disposables :vscode . Disposable [ ] = [ ]
24
- private onReceive :any // TODO: properly type
25
24
26
25
public constructor ( extensionPath :string ) {
27
26
this . extensionPath = extensionPath
@@ -42,6 +41,7 @@ class ReactWebView {
42
41
if ( action === 'WEBVIEW_LOADED' ) {
43
42
this . loaded = true
44
43
} else {
44
+ console . log ( 'onReceive' , action )
45
45
vscode . commands . executeCommand ( 'coderoad.receive_action' , action )
46
46
}
47
47
}
@@ -56,15 +56,15 @@ class ReactWebView {
56
56
}
57
57
58
58
// prevents new panels from going ontop of coderoad panel
59
- vscode . window . onDidChangeActiveTextEditor ( ( textEditor ) => {
59
+ vscode . window . onDidChangeActiveTextEditor ( ( textEditor ?: vscode . TextEditor ) => {
60
60
console . log ( 'onDidChangeActiveTextEditor' )
61
61
console . log ( textEditor )
62
62
if ( ! textEditor || textEditor . viewColumn !== vscode . ViewColumn . Two ) {
63
63
updateWindows ( )
64
64
}
65
65
} )
66
66
// // prevents moving coderoad panel on top of left panel
67
- vscode . window . onDidChangeVisibleTextEditors ( ( textEditor ) => {
67
+ vscode . window . onDidChangeVisibleTextEditors ( ( textEditor : vscode . TextEditor [ ] ) => {
68
68
console . log ( 'onDidChangeVisibleTextEditors' )
69
69
updateWindows ( )
70
70
} )