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

Renamed PyPackageManager.findInstalledPackage() into findPackage()

Browse Source
This commit is contained in:
Andrey Vlasovskikh
2014-09-10 15:29:21 +04:00
parent 26373e942d
commit cc00ea1918
8 changed files with 14 additions and 14 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", false);
final PyPackage sphinx = manager.findPackage("Sphinx", false);
presentation.setEnabled(sphinx != null);
}
catch (PyExternalProcessException ignored) {