MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 15:06:56 +07:00
Code Issues Packages Projects Releases Wiki Activity

Report progress when copying JPS jars into WSL

Browse Source 
GitOrigin-RevId: 87e88bc23867e0a754238aa4070c7f0778c140a4
This commit is contained in:
Dmitry Jemerov
2020-12-04 17:36:59 +01:00
committed by intellij-monorepo-bot
parent e2d7e33c68
commit b2e55f797d
6 changed files with 36 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/compiler/openapi/resources/messages/JavaCompilerBundle.properties
View File

@@ -319,3 +319,4 @@ notification.title.jps.cannot.start.compiler=Cannot start compiler
notification.title.cpu.snapshot.build.has.been.captured=CPU snapshot of build has been captured
action.show.snapshot.location.text=Show Snapshot Location
dialog.message.failed.to.determine.host.ip.for.wsl.jdk=Failed to determine host IP for WSL JDK
progress.preparing.wsl.build.environment=Preparing WSL build environment...