public interface DisplayerFactory
DockableDisplayer
.Modifier and Type | Field and Description |
---|---|
static Path |
DISPLAYER_EXTENSION
unique identifier of an
ExtensionName which allows extensions to insert high priority DisplayerFactory s |
static String |
DISPLAYER_EXTENSION_ID
parameter for
DISPLAYER_EXTENSION , this parameter depends on the DockStation which is using the displayers,
each DockStation should have a constant defined with the name "DISPLAYER_ID" or a similar name (some stations may
have more than one constant). |
Modifier and Type | Method and Description |
---|---|
void |
request(DisplayerRequest request)
Creates a new
DockableDisplayer , this method needs to call
DisplayerRequest.answer(DockableDisplayer) once the new displayer is created.The new displayer will be shown on DisplayerRequest.getParent() , its content
must be DisplayerRequest.getTarget() and DisplayerRequest.getTitle() .If this factory does not want to provide a DockableDisplayer for the given request,
it can just return and not call DisplayerRequest.answer(DockableDisplayer) . |
static final Path DISPLAYER_EXTENSION
ExtensionName
which allows extensions to insert high priority DisplayerFactory
sstatic final String DISPLAYER_EXTENSION_ID
DISPLAYER_EXTENSION
, this parameter depends on the DockStation
which is using the displayers,
each DockStation
should have a constant defined with the name "DISPLAYER_ID" or a similar name (some stations may
have more than one constant).void request(DisplayerRequest request)
DockableDisplayer
, this method needs to call
DisplayerRequest.answer(DockableDisplayer)
once the new displayer is created.DisplayerRequest.getParent()
, its content
must be DisplayerRequest.getTarget()
and DisplayerRequest.getTitle()
.DockableDisplayer
for the given request,
it can just return
and not call DisplayerRequest.answer(DockableDisplayer)
.request
- detailed information about who is going to show the displayer, and callback to
set the new displayer