mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
java: deduplication in front/back extensions registrar
GitOrigin-RevId: 9c4edf9c9b4c9e7367b6051c678cea8fa83747de
This commit is contained in:
committed by
intellij-monorepo-bot
parent
f977a01dfa
commit
97840b8c75
@@ -3,5 +3,8 @@
|
||||
<extensions defaultExtensionNs="com.intellij">
|
||||
<!--suppress PluginXmlValidity -->
|
||||
<projectCustomDataSynchronizer implementation="com.intellij.java.frontback.psi.impl.JavaLangLevelProjectCustomDataSynchronizer"/>
|
||||
|
||||
<fileType extensions="java" hashBangs="java" name="JAVA" language="JAVA" fieldName="INSTANCE" implementationClass="com.intellij.ide.highlighter.JavaFileType"/>
|
||||
<fileType extensions="class" name="CLASS" fieldName="INSTANCE" implementationClass="com.intellij.ide.highlighter.JavaClassFileType"/>
|
||||
</extensions>
|
||||
</idea-plugin>
|
||||
|
||||
Reference in New Issue
Block a user