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

educational PyCharm is PyCharm still

Browse Source
This commit is contained in:
Dennis Ushakov
2014-12-08 15:05:10 +03:00
parent cf0145626b
commit 89e1cc18b0
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/core-api/src/com/intellij/util/PlatformUtils.java
+6 -1
View File
@@ -31,6 +31,7 @@ public class PlatformUtils {
public static final String CLION_PREFIX = "CLion";
public static final String PYCHARM_PREFIX = "Python";
public static final String PYCHARM_CE_PREFIX = "PyCharmCore";
public static final String PYCHARM_EDU_PREFIX = "PyCharmEdu";
public static final String RUBY_PREFIX = "Ruby";
public static final String PHP_PREFIX = "PhpStorm";
public static final String WEB_PREFIX = "WebStorm";
@@ -73,7 +74,7 @@ public class PlatformUtils {
}
public static boolean isPyCharm() {
return isPyCharmPro() || isPyCharmCommunity();
return isPyCharmPro() || isPyCharmCommunity() || isPyCharmEducational();
}
public static boolean isPyCharmPro() {
@@ -84,6 +85,10 @@ public class PlatformUtils {
return is(PYCHARM_PREFIX2);
}
public static boolean isPyCharmEducational() {
return is(PYCHARM_EDU_PREFIX);
}
public static boolean isPhpStorm() {
return is(PHP_PREFIX);
}