Home
last modified time | relevance | path

Searched refs:isEditorPinned (Results 1 – 3 of 3) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/
H A DIWorkbenchPage.java816 boolean isEditorPinned(IEditorPart editor); in isEditorPinned() method
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.debug/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/sourcelookup/
H A DSourceLookupFacility.java466 if (editorForPage == null || editorForPage.isDirty() || page.isEditorPinned(editorForPage)) { in openEditor()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/
H A DWorkbenchPage.java3261 public boolean isEditorPinned(IEditorPart editor) { in isEditorPinned() method in WorkbenchPage