@@ -16,9 +16,10 @@ export function activate(context: ExtensionContext) {
1616 extensionContext = context
1717 outputChannel = vscode . window . createOutputChannel ( 'Dotty Language Client' ) ;
1818
19- const sbtArtifact = "org.scala-sbt:sbt-launch:1.2.0 "
19+ const sbtArtifact = "org.scala-sbt:sbt-launch:1.2.3 "
2020 const buildSbtFile = `${ vscode . workspace . rootPath } /build.sbt`
2121 const dottyPluginSbtFile = path . join ( extensionContext . extensionPath , './out/dotty-plugin.sbt' )
22+ const disableDottyIDEFile = `${ vscode . workspace . rootPath } /.dotty-ide-disabled`
2223 const languageServerArtifactFile = `${ vscode . workspace . rootPath } /.dotty-ide-artifact`
2324 const languageServerDefaultConfigFile = path . join ( extensionContext . extensionPath , './out/default-dotty-ide-config' )
2425 const coursierPath = path . join ( extensionContext . extensionPath , './out/coursier' ) ;
@@ -42,9 +43,9 @@ export function activate(context: ExtensionContext) {
4243 // otherwise, try propose to start it if there's no build.sbt
4344 if ( fs . existsSync ( languageServerArtifactFile ) ) {
4445 runLanguageServer ( coursierPath , languageServerArtifactFile )
45- } else if ( ! fs . existsSync ( buildSbtFile ) ) {
46+ } else if ( ! fs . existsSync ( disableDottyIDEFile ) && ! fs . existsSync ( buildSbtFile ) ) {
4647 vscode . window . showInformationMessage (
47- "This looks like an unconfigured project. Would you like to start Dotty IDE?" ,
48+ "This looks like an unconfigured Scala project. Would you like to start the Dotty IDE?" ,
4849 "Yes" , "No"
4950 ) . then ( choice => {
5051 if ( choice == "Yes" ) {
@@ -57,6 +58,8 @@ export function activate(context: ExtensionContext) {
5758 } )
5859 }
5960 } )
61+ } else {
62+ fs . appendFile ( disableDottyIDEFile , "" , _ => { } )
6063 }
6164 } )
6265 }
@@ -118,7 +121,7 @@ function fetchWithCoursier(coursierPath: string, artifact: string, extra: string
118121function configureIDE ( sbtClasspath : string , languageServerScalaVersion : string , dottyPluginSbtFile : string ) {
119122 return vscode . window . withProgress ( {
120123 location : vscode . ProgressLocation . Window ,
121- title : 'Configuring IDE...'
124+ title : 'Configuring the IDE for Dotty ...'
122125 } , ( progress ) => {
123126
124127 // Run sbt to configure the IDE. If the `DottyPlugin` is not present, dynamically load it and
0 commit comments