public interface DockTitleFactory
DockTitle. Clients might install
DockTitleRequests on this factory such that this factory can always
change the title that is currently shown. A factory should call
DockTitleRequest.answer(DockTitle) only when requested so, meaning
only if the method request(DockTitleRequest) is called. If a factory
wishes to exchange a title it should call DockTitleRequest.request() which
in return might then call request(DockTitleRequest).| Modifier and Type | Method and Description |
|---|---|
void |
install(DockTitleRequest request)
Informs this factory that it might need to create a
DockTitle for
request. |
void |
request(DockTitleRequest request)
Asks this factory to provide a
DockTitle for request,
this method should call DockTitleRequest.answer(DockTitle). |
void |
uninstall(DockTitleRequest request)
Informs this factory that it no longer requires to provide any titles
for
request. |
void install(DockTitleRequest request)
DockTitle for
request.request - the new requestvoid request(DockTitleRequest request)
DockTitle for request,
this method should call DockTitleRequest.answer(DockTitle). Note
that this method may be called for requests that are not installed!request - the request to answervoid uninstall(DockTitleRequest request)
request.request - the request that is no longer managed by this factoryCopyright © 2017 Docking Frames. All rights reserved.