@@ -3,7 +3,7 @@ import WebSocket = require("ws");
33
44import { AtelierAPI } from "../api" ;
55import { connectionTarget , currentFile , outputChannel } from "../utils" ;
6- import { config , resolveConnectionSpec } from "../extension" ;
6+ import { config , iscIcon , resolveConnectionSpec } from "../extension" ;
77
88const keys = {
99 enter : "\r" ,
@@ -609,7 +609,6 @@ function reportError(msg: string, throwErrors = false) {
609609
610610function terminalConfigForUri (
611611 api : AtelierAPI ,
612- extensionUri : vscode . Uri ,
613612 targetUri : vscode . Uri ,
614613 throwErrors = false
615614) : vscode . ExtensionTerminalOptions | undefined {
@@ -635,7 +634,7 @@ function terminalConfigForUri(
635634 : vscode . TerminalLocation . Panel ,
636635 pty : new WebSocketTerminal ( api ) ,
637636 isTransient : true ,
638- iconPath : vscode . Uri . joinPath ( extensionUri , "images" , "fileIcon.svg" ) ,
637+ iconPath : iscIcon ,
639638 } ;
640639}
641640
@@ -659,7 +658,7 @@ async function workspaceUriForTerminal(throwErrors = false) {
659658 return uri ;
660659}
661660
662- export async function launchWebSocketTerminal ( extensionUri : vscode . Uri , targetUri ?: vscode . Uri ) : Promise < void > {
661+ export async function launchWebSocketTerminal ( targetUri ?: vscode . Uri ) : Promise < void > {
663662 // Determine the server to connect to
664663 if ( targetUri ) {
665664 // Uri passed as command argument might be for a server we haven't yet resolve connection details such as password,
@@ -679,7 +678,7 @@ export async function launchWebSocketTerminal(extensionUri: vscode.Uri, targetUr
679678 await api . serverInfo ( ) ;
680679
681680 // Get the terminal configuration
682- const terminalOpts = terminalConfigForUri ( api , extensionUri , targetUri ) ;
681+ const terminalOpts = terminalConfigForUri ( api , targetUri ) ;
683682 if ( terminalOpts ) {
684683 // Launch the terminal
685684 const terminal = vscode . window . createTerminal ( terminalOpts ) ;
@@ -688,15 +687,13 @@ export async function launchWebSocketTerminal(extensionUri: vscode.Uri, targetUr
688687}
689688
690689export class WebSocketTerminalProfileProvider implements vscode . TerminalProfileProvider {
691- constructor ( private readonly _extensionUri : vscode . Uri ) { }
692-
693- async provideTerminalProfile ( _token : vscode . CancellationToken ) : Promise < vscode . TerminalProfile > {
690+ async provideTerminalProfile ( ) : Promise < vscode . TerminalProfile > {
694691 // Determine the server connection to use
695692 const uri : vscode . Uri = await workspaceUriForTerminal ( true ) ;
696693
697694 if ( uri ) {
698695 // Get the terminal configuration. Will throw if there's an error.
699- const terminalOpts = terminalConfigForUri ( new AtelierAPI ( uri ) , this . _extensionUri , uri , true ) ;
696+ const terminalOpts = terminalConfigForUri ( new AtelierAPI ( uri ) , uri , true ) ;
700697 return new vscode . TerminalProfile ( terminalOpts ) ;
701698 } else {
702699 throw new Error ( "WebSocket Terminal requires a selected workspace folder." ) ;
0 commit comments