MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-17 07:20:53 +07:00
Code Issues Packages Projects Releases Wiki Activity

Inlined PyPackageManager.getInstalledPackage(String)

Browse Source
This commit is contained in:
Andrey Vlasovskikh
2014-09-10 15:26:53 +04:00
parent ef7bb76718
commit 26373e942d
8 changed files with 11 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/python-rest/src/com/jetbrains/rest/RestPythonUtil.java
View File

@@ -49,7 +49,7 @@ public class RestPythonUtil {
if (sdk != null) {
PyPackageManager manager = PyPackageManager.getInstance(sdk);
try {
final PyPackage sphinx = manager.findInstalledPackage("Sphinx");
final PyPackage sphinx = manager.findInstalledPackage("Sphinx", false);
presentation.setEnabled(sphinx != null);
}
catch (PyExternalProcessException ignored) {