mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
fixed PY-8376 "Tools > Sphinx quickstart" command missing from main menu
This commit is contained in:
@@ -23,7 +23,6 @@ public class RestPythonUtil {
|
||||
|
||||
public static Presentation updateRequirements(final AnActionEvent e, String runner) {
|
||||
final Presentation presentation = e.getPresentation();
|
||||
presentation.setVisible(false);
|
||||
presentation.setEnabled(false);
|
||||
final Project project = e.getData(PlatformDataKeys.PROJECT);
|
||||
if (project != null) {
|
||||
@@ -37,7 +36,6 @@ public class RestPythonUtil {
|
||||
if (sdk != null) {
|
||||
String htmlRunner = RestUtil.findRunner(sdk.getHomePath(), runner);
|
||||
if (htmlRunner != null) {
|
||||
presentation.setVisible(true);
|
||||
presentation.setEnabled(true);
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user