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-frontend] IDEA-366600 Get rid of additional "Java for JetBrains Client" plugin

Browse Source 
- clean-up

GitOrigin-RevId: bee532d15a09e4d2918b8639f2bb58a295a172a6
This commit is contained in:
Mikhail Pyltsin
2026-01-15 16:28:43 +00:00
committed by intellij-monorepo-bot
parent b60abdbf63
commit 9405096d8d
12 changed files with 25 additions and 474 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/codeserver/core/resources/intellij.java.codeserver.core.xml
+1 -1
View File
@@ -1,4 +1,4 @@
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" visibility="public">
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" visibility="internal">
<dependencies>
<!--todo temporary disabled until it will be a backend module-->
<!--<module name="intellij.java.frontback.psi"/>-->
java/codeserver/highlighting/resources/intellij.java.codeserver.highlighting.xml
+1 -1
View File
@@ -1,4 +1,4 @@
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" visibility="public">
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude" visibility="internal">
<dependencies>
<module name="intellij.platform.core"/>