Searched refs:getCurrentPage (Results 1 – 3 of 3) sorted by relevance
464 public int getCurrentPage() { in getCurrentPage() method in CommonXmlEditor465 return super.getCurrentPage(); in getCurrentPage()
667 if (getEditor().getCurrentPage() == getEditor().getTextPageIndex() && in delegatePageChange()
607 org.eclipse.ui.part.IPage currentPage = pbv.getCurrentPage(); in selectionChanged()