mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[devkit] DevKitRelatedPropertiesProvider: make configurable in Settings
GitOrigin-RevId: ce7ae251305ff8e13606efdbbe8a3c1255c8908e
This commit is contained in:
committed by
intellij-monorepo-bot
parent
e3889258b8
commit
06980d1c4f
@@ -270,6 +270,7 @@ intellij.api.annotations.update.failed.no.annotations.found=No external annotati
|
||||
inspections.plugin.xml.i18n.name=Extract text/description for i18n
|
||||
|
||||
line.marker.related.property.title=Related Property
|
||||
line.marker.related.property.description=Related property
|
||||
|
||||
action.DevKit.EditThemeEditorColorScheme.text=Edit Editor Color Scheme
|
||||
action.DevKit.RollbackTheme.text=Stop Theme Preview
|
||||
|
||||
@@ -21,10 +21,23 @@ import org.jetbrains.idea.devkit.dom.ActionOrGroup;
|
||||
import org.jetbrains.idea.devkit.inspections.DevKitPluginXmlInspectionBase;
|
||||
import org.jetbrains.idea.devkit.navigation.DevkitRelatedLineMarkerProviderBase;
|
||||
|
||||
import javax.swing.*;
|
||||
import java.util.Collection;
|
||||
import java.util.Collections;
|
||||
|
||||
public class DevKitRelatedPropertiesProvider extends DevkitRelatedLineMarkerProviderBase {
|
||||
|
||||
@Override
|
||||
public String getName() {
|
||||
return DevKitBundle.message("line.marker.related.property.description");
|
||||
}
|
||||
|
||||
@NotNull
|
||||
@Override
|
||||
public Icon getIcon() {
|
||||
return AllIcons.FileTypes.Properties;
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void collectNavigationMarkers(@NotNull PsiElement leaf, @NotNull Collection<? super RelatedItemLineMarkerInfo> result) {
|
||||
if (!(leaf instanceof XmlToken)) return;
|
||||
|
||||
Reference in New Issue
Block a user