Package org.eclipse.jface.text
Interface IWidgetTokenOwnerExtension
-
- All Known Implementing Classes:
ProjectionViewer,SourceViewer,TextConsoleViewer,TextViewer
public interface IWidgetTokenOwnerExtensionExtension interface forIWidgetTokenOwner.Replaces the original
requestWidgetTokenfunctionality with a new priority based approach.- Since:
- 3.0
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanrequestWidgetToken(IWidgetTokenKeeper requester, int priority)Requests the widget token from this token owner.
-
-
-
Method Detail
-
requestWidgetToken
boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority)
Requests the widget token from this token owner. Returnstrueif the token has been acquired or is already owned by the requester. This method is non-blocking.priorityis forwarded to any existing token keeper to give it an estimate on whether the request has higher priority than the current keeper's. There is, however, no guarantee that another keeper will release the token even if it has a high priority.- Parameters:
requester- the token requesterpriority- the priority of the request- Returns:
trueif requester acquires the token,falseotherwise
-
-