|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface WindowContent
This class defines the right-side of a windowframe (the contents, as opposed to the explorer tree).
Method Summary | |
---|---|
void |
bottomScrollChanged(int e)
|
void |
centerCursor()
|
void |
fillScreen()
|
boolean |
findNextText(boolean reverse)
Method to find the next occurrence of a string. |
void |
finished()
|
void |
focusOnHighlighted()
|
void |
fullRepaint()
|
Cell |
getCell()
|
Highlighter |
getHighlighter()
Get the Highlighter for this window |
javax.swing.JPanel |
getPanel()
Method to return the top-level JPanel for this WindowContent. |
java.awt.image.BufferedImage |
getPrintImage(ElectricPrinter ep)
Method to print window using offscreen canvas. |
boolean |
initializePrinting(ElectricPrinter ep,
java.awt.print.PageFormat pageFormat)
Method to intialize for printing. |
void |
initTextSearch(java.lang.String search,
boolean caseSensitive,
boolean regExp,
java.util.Set<TextUtils.WhatToSearch> whatToSearch,
boolean highlightedOnly)
Method to initialize for a new text search. |
java.util.List<javax.swing.tree.MutableTreeNode> |
loadExplorerTrees()
|
void |
panXOrY(int direction,
double[] panningAmounts,
int ticks)
|
void |
repaint()
|
void |
replaceAllText(java.lang.String replace)
Method to replace all selected text. |
void |
replaceText(java.lang.String replace)
Method to replace the text that was just selected with findNextText(). |
void |
rightScrollChanged(int e)
|
void |
setCell(Cell cell,
VarContext context,
WindowFrame.DisplayAttributes displayAttributes)
|
void |
setCursor(java.awt.Cursor cursor)
Method relevant for waveform windows where the drawing panel is not given by getPanel() |
void |
setWindowTitle()
|
void |
writeImage(ElectricPrinter ep,
java.lang.String filePath)
Saving method should be done in display thread (valid at least for 3D) to guarantee correct rasting. |
void |
zoomInContents()
|
void |
zoomOutContents()
|
Method Detail |
---|
void initTextSearch(java.lang.String search, boolean caseSensitive, boolean regExp, java.util.Set<TextUtils.WhatToSearch> whatToSearch, boolean highlightedOnly)
search
- the string to locate.caseSensitive
- true to match only where the case is the same.regExp
- true if the search string is a regular expression.whatToSearch
- a collection of text types to consider.highlightedOnly
- true to search only in the highlighted area.boolean findNextText(boolean reverse)
reverse
- true to find in the reverse direction.
void replaceText(java.lang.String replace)
replace
- the new text to replace.void replaceAllText(java.lang.String replace)
replace
- the new text to replace everywhere.void finished()
void repaint()
void fullRepaint()
void fillScreen()
void zoomOutContents()
void zoomInContents()
void focusOnHighlighted()
void panXOrY(int direction, double[] panningAmounts, int ticks)
void centerCursor()
void setCell(Cell cell, VarContext context, WindowFrame.DisplayAttributes displayAttributes)
Cell getCell()
Highlighter getHighlighter()
javax.swing.JPanel getPanel()
void bottomScrollChanged(int e)
void rightScrollChanged(int e)
java.util.List<javax.swing.tree.MutableTreeNode> loadExplorerTrees()
void setWindowTitle()
void setCursor(java.awt.Cursor cursor)
cursor
- the cursor to displayboolean initializePrinting(ElectricPrinter ep, java.awt.print.PageFormat pageFormat)
ep
- the ElectricPrinter object.pageFormat
- information about the print job.
java.awt.image.BufferedImage getPrintImage(ElectricPrinter ep)
ep
- Image observer plus printable object.
void writeImage(ElectricPrinter ep, java.lang.String filePath)
ep
- Image observer plus printable object.filePath
- file in which to save image.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |