public interface Browser
Modifier and Type | Method and Description |
---|---|
void |
addAreaSelectionListener(AreaSelectionListener listener)
Registers an area selection listener that is called when the area selection changes.
|
void |
addInfoPanel(javax.swing.JComponent component,
double weighty)
Adds a new panel to the details area.
|
void |
addStructurePanel(java.lang.String title,
javax.swing.JComponent component)
Adds a new tab to the structure view tabs.
|
void |
addToolBar(javax.swing.JToolBar toolbar)
Adds a toolbar to the browser's toolbar area.
|
void |
addToolPanel(java.lang.String title,
javax.swing.JComponent component)
Adds a new tab to the tool panel at the top of the window
|
AreaTree |
getAreaTree()
Gets the area tree of the current page
|
LogicalAreaTree |
getLogicalTree()
Gets the logical area tree of the actual page
|
OutputDisplay |
getOutputDisplay()
Gets the browser page output display.
|
Page |
getPage()
Gets the actual page model
|
Area |
getSelectedArea()
Gets the last selected visual area.
|
void |
setAreaTree(AreaTree areaTree)
Sets area tree from external source
|
void |
setLogicalTree(LogicalAreaTree logicalTree)
Sets logical area tree from external source
|
void |
setPage(Page page)
Sets page model from the external source
|
void |
updateDisplay()
Performs the output display refresh (when something has been
painted).
|
void addToolBar(javax.swing.JToolBar toolbar)
toolbar
- the toolbar to be addedvoid addToolPanel(java.lang.String title, javax.swing.JComponent component)
title
- the tab titlecomponent
- the component to be addedvoid addStructurePanel(java.lang.String title, javax.swing.JComponent component)
title
- the tab titlecomponent
- the component to be addedvoid addInfoPanel(javax.swing.JComponent component, double weighty)
component
- the component to be addedweighty
- the resizing vertical weightOutputDisplay getOutputDisplay()
void updateDisplay()
Area getSelectedArea()
null
when nothing is selectedvoid addAreaSelectionListener(AreaSelectionListener listener)
listener
- the listener to be registeredvoid setPage(Page page)
page
- Page getPage()
AreaTree getAreaTree()
null
if the tree has not been built yetLogicalAreaTree getLogicalTree()
null
if the tree has not been built yetvoid setAreaTree(AreaTree areaTree)
void setLogicalTree(LogicalAreaTree logicalTree)