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-186805 Rework plugin page: icons

Browse Source
This commit is contained in:
Alexander Lobas
2018-04-17 20:37:30 +03:00
parent 6661c6729b
commit cc08c38d73
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/icons/AllIcons.java
+3
View File
@@ -1081,6 +1081,9 @@ public class AllIcons {
public static class Plugins {
public static final Icon Downloads = IconLoader.getIcon("/plugins/downloads.png"); // 12x12
public static final Icon ModifierInvalid = IconLoader.getIcon("/plugins/modifierInvalid.svg"); // 15x15
public static final Icon ModifierJBLogo = IconLoader.getIcon("/plugins/modifierJBLogo.svg"); // 14x14
public static final Icon PluginLogo = IconLoader.getIcon("/plugins/pluginLogo.svg"); // 40x40
public static final Icon PluginLogo_40 = IconLoader.getIcon("/plugins/pluginLogo_40.png"); // 40x40
public static final Icon PluginLogo_80 = IconLoader.getIcon("/plugins/pluginLogo_80.png"); // 80x80
public static final Icon PluginLogoDisabled_40 = IconLoader.getIcon("/plugins/pluginLogoDisabled_40.png"); // 40x40