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

IDEA-181935 Devkit: show ID/Name of plugin for plugin.xml files in editor tab

Browse Source 
rename
This commit is contained in:
Yann Cébron
2017-11-10 10:56:47 +01:00
parent 62ebe4b99d
commit 6c8e19462d
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/devkit/resources/META-INF/plugin.xml
+1 -1
View File
@@ -51,7 +51,7 @@
<fileBasedIndex implementation="org.jetbrains.idea.devkit.dom.index.IdeaPluginRegistrationIndex"/>
<editorTabTitleProvider implementation="org.jetbrains.idea.devkit.DevKitEditorTabTitleProvider"/>
<editorTabTitleProvider implementation="org.jetbrains.idea.devkit.PluginDescriptorEditorTabTitleProvider"/>
<useScopeEnlarger implementation="org.jetbrains.idea.devkit.DevKitUseScopeEnlarger"/>
<properties.implicitPropertyUsageProvider implementation="org.jetbrains.idea.devkit.inspections.RegistryImplicitPropertyUsageProvider"/>
plugins/devkit/src/DevKitEditorTabTitleProvider.kt → plugins/devkit/src/PluginDescriptorEditorTabTitleProvider.kt
+1 -1
View File
@@ -10,7 +10,7 @@ import org.jetbrains.idea.devkit.module.PluginDescriptorConstants
import org.jetbrains.idea.devkit.util.DescriptorUtil
import org.jetbrains.idea.devkit.util.PsiUtil
class DevKitEditorTabTitleProvider : EditorTabTitleProvider {
class PluginDescriptorEditorTabTitleProvider : EditorTabTitleProvider {
override fun getEditorTabTitle(project: Project, file: VirtualFile): String? {
if (PluginDescriptorConstants.META_DATA.fileName != file.name) return null