MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[Java] IDEA-380112 Move jshell notification group to Jshell plugin

Browse Source 
GitOrigin-RevId: 4b6ef97109f475edf9e2000693b4017337677b6d
This commit is contained in:
Georgii Ustinov
2025-10-01 06:50:09 +00:00
committed by intellij-monorepo-bot
parent 2888d207d9
commit f494dedbcf
4 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/openapi/resources/messages/JavaBundle.properties
-1
View File
@@ -1829,7 +1829,6 @@ progress.title.checking.if.class.exists=Check target class ''{0}'' exists
quickfix.find.cause.description=Attempts to highlight code elements that resulted in this warning and explain how exactly they contribute.
completion.generate.via.wizard=(generate via wizard)
notification.group.jdk.resolve.problems=Failed to resolve JDK
notification.group.jshell=JShell problem occurred
notification.group.repository=JAR files synchronized with repository
notification.group.source.searcher=Failed to find sources for JAR file
notification.group.language.level=Preview Java language level requires accepting license