Interface ViewerRefreshManager
-
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface ViewerRefreshManager
Protocol for asynchronous non-redundant refresh of a viewer. This is associated with the table viewer under theREFRESH_MANAGER
key.- Since:
- 1.21
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
REFRESH_MANAGER
Viewer data key for the refresh manager.
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description static ViewerRefreshManager
getInstance(org.eclipse.jface.viewers.Viewer viewer)
Obtain the refresh manager instance for the givenviewer
.static java.lang.Runnable
getRefreshRunnable(org.eclipse.jface.viewers.Viewer viewer)
Obtain a runnable that refreshes aviewer
.void
postRefresh()
Post an asynchronous request to refresh the table viewer.
-
-
-
Field Detail
-
REFRESH_MANAGER
static final java.lang.String REFRESH_MANAGER
Viewer data key for the refresh manager.- See Also:
- Constant Field Values
-
-
Method Detail
-
postRefresh
void postRefresh()
Post an asynchronous request to refresh the table viewer.
-
getInstance
static ViewerRefreshManager getInstance(org.eclipse.jface.viewers.Viewer viewer)
Obtain the refresh manager instance for the givenviewer
.- Parameters:
viewer
- a viewer- Returns:
- its refresh manager or a simple default implementaiton; never
null
-
getRefreshRunnable
static java.lang.Runnable getRefreshRunnable(org.eclipse.jface.viewers.Viewer viewer)
Obtain a runnable that refreshes aviewer
.- Parameters:
viewer
- a viewer to refresh- Returns:
- the refresh manager
- See Also:
Viewer.refresh()
-
-