mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 12:31:26 +07:00
visible/slow line markers merged with line markers pass; instead of VisibleLineMarkersPass and SlowLineMarkerPass the LineMarkersPass now accepts priorityRange and restrictRange, just like GeneralHighlightingPass
This commit is contained in:
@@ -60,7 +60,7 @@ public class PyExecuteFileLineMarkerProvider implements LineMarkerProvider {
|
||||
|
||||
Icon icon = PlatformUtils.isPyCharmEducational() ? AllIcons.Actions.Execute : actions.get(0).getTemplatePresentation().getIcon();
|
||||
final LineMarkerInfo<PsiElement> markerInfo = new LineMarkerInfo<PsiElement>(
|
||||
file, file.getTextRange(), icon, Pass.UPDATE_OVERRIDDEN_MARKERS,
|
||||
file, file.getTextRange(), icon, Pass.LINE_MARKERS,
|
||||
e -> {
|
||||
String text = "Execute '" + e.getContainingFile().getName() + "'";
|
||||
return PlatformUtils.isPyCharmEducational() ? text : actions.get(0).getTemplatePresentation().getText();
|
||||
|
||||
Reference in New Issue
Block a user