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

JPS: cancel currently running build on project closing

Browse Source 
GitOrigin-RevId: edce4b864acdb1e9129b26c68fa2fbce0b5b049f
This commit is contained in:
Eugene Zhuravlev
2022-12-12 14:05:21 +01:00
committed by intellij-monorepo-bot
parent 0eafefba69
commit 16c1c15d7a
2 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -213,7 +213,7 @@ button.add=&Add...
eclipse.compiler.cross.platform.help.message=('/' recommended in paths for cross-platform configurations)
eclipse.compiler.path.leave.empty.help.message=Path to ECJ batch compiler tool (leave empty to use bundled):
eclipse.compiler.proceed.on.errors.option=Proceed on errors
progress.title.cancelling.auto.make.builds=Cancelling Auto-Make Builds
progress.title.cancelling.running.builds=Cancelling Running Builds
abnormal.build.process.termination=Abnormal build process termination
wsl.network.connection.failure=Cannot establish network connection from WSL to Windows host (could be blocked by firewall). More details: https://jb.gg/wsl-firewall
unknown.build.process.error=unknown error