Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.jface.text/src/org/eclipse/jface/text/
H A DTextViewerHoverManager.java76 private IViewportListener fViewportListener; field in TextViewerHoverManager
97 fViewportListener= verticalOffset -> fProcessMouseHoverEvent= false; in TextViewerHoverManager()
98 fTextViewer.addViewportListener(fViewportListener); in TextViewerHoverManager()
359 fTextViewer.removeViewportListener(fViewportListener); in dispose()
360 fViewportListener= null; in dispose()
/dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/java/hover/
H A DAnnotationExpansionControl.java471 private final IViewportListener fViewportListener; field in AnnotationExpansionControl
489 fViewportListener = new IViewportListener() { in AnnotationExpansionControl()
579 fInput.fViewer.removeViewportListener(fViewportListener); in setInput()
603 fInput.fViewer.addViewportListener(fViewportListener); in refresh()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/
H A DAnnotationExpansionControl.java462 private final IViewportListener fViewportListener; field in AnnotationExpansionControl
479 fViewportListener= new IViewportListener() { in AnnotationExpansionControl()
568 fInput.fViewer.removeViewportListener(fViewportListener); in setInput()
599 fInput.fViewer.addViewportListener(fViewportListener); in refresh()