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

i18n for gutter icons configurable

Browse Source 
+much clear detection for idea core plugin

GitOrigin-RevId: 533efd7ea1b15de4f31f29acfb23089d8937152d
This commit is contained in:
Sergey Ignatov
2020-01-13 21:32:07 +00:00
committed by intellij-monorepo-bot
parent 07b3bafeb3
commit 16e7df49a1
2 changed files with 10 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/application/options/editor/GutterIconsConfigurable.java
+7 -8
View File
@@ -3,6 +3,8 @@ package com.intellij.application.options.editor;
import com.intellij.codeInsight.daemon.*;
import com.intellij.ide.IdeBundle;
import com.intellij.ide.plugins.IdeaPluginDescriptor;
import com.intellij.ide.plugins.PluginManagerCore;
import com.intellij.lang.LanguageExtensionPoint;
import com.intellij.openapi.actionSystem.AnActionEvent;
import com.intellij.openapi.application.ApplicationManager;
@@ -27,10 +29,7 @@ import com.intellij.util.ObjectUtils;
import com.intellij.util.containers.ContainerUtil;
import com.intellij.util.containers.MultiMap;
import com.intellij.util.ui.EmptyIcon;
import org.jetbrains.annotations.Nls;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import org.jetbrains.annotations.TestOnly;
import org.jetbrains.annotations.*;
import javax.swing.*;
import javax.swing.event.ChangeListener;
@@ -42,7 +41,8 @@ import java.util.*;
* @author Dmitry Avdeev
*/
public class GutterIconsConfigurable implements SearchableConfigurable, Configurable.NoScroll {
public static final String ID = "editor.preferences.gutterIcons";
@NonNls public static final String ID = "editor.preferences.gutterIcons";
private JPanel myPanel;
private CheckBoxList<GutterIconDescriptor> myList;
private JBCheckBox myShowGutterIconsJBCheckBox;
@@ -172,8 +172,8 @@ public class GutterIconsConfigurable implements SearchableConfigurable, Configur
}
private static String getPluginDisplayName(PluginDescriptor pluginDescriptor) {
final String name = pluginDescriptor.getName();
return "IDEA CORE".equals(name) ? "Common" : name;
if (pluginDescriptor instanceof IdeaPluginDescriptor && pluginDescriptor.getPluginId() == PluginManagerCore.CORE_ID) return IdeBundle.message("title.common");
return pluginDescriptor.getName();
}
private void createUIComponents() {
@@ -235,7 +235,6 @@ public class GutterIconsConfigurable implements SearchableConfigurable, Configur
public List<GutterIconDescriptor> getDescriptors() { return myDescriptors; }
public static class ShowSettingsAction extends DumbAwareAction {
public ShowSettingsAction() {
}
platform/platform-resources-en/src/messages/IdeBundle.properties
+3 -1
View File
@@ -1460,4 +1460,6 @@ show.navigation.bar=Show Navigation Bar
appearance.ui.option.group=UI
appearance.window.option.group=Window
appearance.view.option.group=View
configurable.CopyrightProfilesPanel.display.name=Copyright Profiles
configurable.CopyrightProfilesPanel.display.name=Copyright Profiles
title.common=Common