@@ -21,7 +21,6 @@ class ReactWebView {
2121private panel :vscode . WebviewPanel
2222private extensionPath :string
2323private disposables :vscode . Disposable [ ] = [ ]
24- private onReceive :any // TODO: properly type
2524
2625public constructor ( extensionPath :string ) {
2726this . extensionPath = extensionPath
@@ -42,6 +41,7 @@ class ReactWebView {
4241if ( action === 'WEBVIEW_LOADED' ) {
4342this . loaded = true
4443} else {
44+ console . log ( 'onReceive' , action )
4545vscode . commands . executeCommand ( 'coderoad.receive_action' , action )
4646}
4747}
@@ -56,15 +56,15 @@ class ReactWebView {
5656}
5757
5858// prevents new panels from going ontop of coderoad panel
59- vscode . window . onDidChangeActiveTextEditor ( ( textEditor ) => {
59+ vscode . window . onDidChangeActiveTextEditor ( ( textEditor ?: vscode . TextEditor ) => {
6060console . log ( 'onDidChangeActiveTextEditor' )
6161console . log ( textEditor )
6262if ( ! textEditor || textEditor . viewColumn !== vscode . ViewColumn . Two ) {
6363updateWindows ( )
6464}
6565} )
6666// // prevents moving coderoad panel on top of left panel
67- vscode . window . onDidChangeVisibleTextEditors ( ( textEditor ) => {
67+ vscode . window . onDidChangeVisibleTextEditors ( ( textEditor : vscode . TextEditor [ ] ) => {
6868console . log ( 'onDidChangeVisibleTextEditors' )
6969updateWindows ( )
7070} )