public class EditWindow extends javax.swing.JPanel implements EditWindow_, WindowContent, java.awt.event.MouseMotionListener, java.awt.event.MouseListener, java.awt.event.MouseWheelListener, java.awt.event.KeyListener, HighlightListener, DatabaseChangeListener
Modifier and Type | Class and Description |
---|---|
static class |
EditWindow.NodeProtoDataFlavor
Class to define a custom data flavor that packages a NodeProto to create.
|
static class |
EditWindow.NodeProtoTransferable
Class to define a custom transferable that packages a Cell or Group.
|
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Modifier and Type | Method and Description |
---|---|
void |
addCrossProbeBox(java.awt.geom.Rectangle2D box,
java.awt.Color color)
Method to add a box to the list of cross-probed levels in this EditWindow.
|
void |
addCrossProbeLine(java.awt.geom.Point2D start,
java.awt.geom.Point2D end,
java.awt.Color color)
Method to add a line to the list of cross-probed levels in this EditWindow.
|
void |
addElectricObject(ElectricObject eObj,
Cell cell) |
void |
addHighlightArea(java.awt.geom.Rectangle2D rect,
Cell cell) |
void |
addHighlightLine(java.awt.geom.Point2D pt1,
java.awt.geom.Point2D pt2,
Cell cell,
boolean thick) |
void |
addHighlightMessage(Cell cell,
java.lang.String message,
java.awt.geom.Point2D loc) |
void |
addHighlightText(ElectricObject eObj,
Cell cell,
Variable.Key varKey) |
void |
addInPlaceTextObject(GetInfoText.EditInPlaceListener tl)
Method to store a new "in-place" text editing object on this EditWindow.
|
void |
bottomScrollChanged(int value) |
void |
centerCursor()
Method to shift the window so that the current cursor location becomes the center.
|
void |
clearCrossProbeLevels()
Method to clear the list of cross-probed levels in this EditWindow.
|
void |
clearDoingAreaDrag() |
void |
clearHighlighting() |
void |
clearShowPopupCloud() |
static void |
clearSubCellCache()
Method to clear the cache of expanded subcells.
|
static EditWindow |
CreateElectricDoc(Cell cell,
WindowFrame wf,
java.awt.Dimension approxSZ)
Factory method to create a new EditWindow with a given cell, in a given WindowFrame.
|
void |
databaseChanged(DatabaseChangeEvent e)
Invoked in the java AWT Event thread when the database state changes.
|
java.awt.Point |
databaseToScreen(double dbX,
double dbY)
Method to convert a database coordinate to screen coordinates.
|
void |
databaseToScreen(double dbX,
double dbY,
java.awt.Point result)
Method to convert a database coordinate to screen coordinates.
|
java.awt.Point |
databaseToScreen(java.awt.geom.Point2D db)
Method to convert a database coordinate to screen coordinates.
|
java.awt.Rectangle |
databaseToScreen(java.awt.geom.Rectangle2D db)
Method to convert a database rectangle to screen coordinates.
|
java.awt.Point |
deltaDatabaseToScreen(double dbDX,
double dbDY)
Method to convert a database distance to a screen distance.
|
java.awt.geom.Point2D |
deltaScreenToDatabase(int screenDX,
int screenDY)
Method to convert a screen distance to a database distance.
|
java.awt.geom.Rectangle2D |
displayableBounds()
Method to return a rectangle in database coordinates that covers the viewable extent of this window.
|
static void |
displayAlgorithmChanged()
Method requests that every EditWindow be redrawn, including a change of display algorithm.
|
void |
downHierarchy(boolean keepFocus,
boolean newWindow,
boolean inPlace)
Push into an instance (go down the hierarchy)
|
static void |
expansionChanged(Cell cell)
Method to recurse flag all windows showing a cell to redraw.
|
void |
fillScreen()
Method to pan and zoom the screen so that the entire cell is displayed.
|
boolean |
findNextText(boolean reverse)
Method to find the next occurrence of a string.
|
static EditWindow |
findWindow(Cell cell)
Method to find an EditWindow that is displaying a given cell.
|
void |
finished()
Method to get rid of this EditWindow.
|
void |
finishedHighlighting() |
void |
focusOnHighlighted() |
void |
focusScreen(java.awt.geom.Rectangle2D bounds)
Method to focus the screen so that an area fills it.
|
void |
fullRepaint()
Method requests that this EditWindow be redrawn, including a rerendering of the contents.
|
javax.swing.JScrollBar |
getBottomScrollBar()
Method to return the horizontal scroll bar at the bottom of the edit window.
|
java.awt.geom.Rectangle2D |
getBoundsInWindow()
Method to compute the bounds of the cell in this EditWindow.
|
Cell |
getCell()
Method to return the cell that is shown in this window.
|
static EditWindow |
getCurrent()
Method to return the current EditWindow.
|
static int |
getDefaultFontSize() |
java.awt.geom.Rectangle2D |
getDisplayedBounds() |
java.awt.Point |
getEndDrag() |
java.awt.Font |
getFont(TextDescriptor descript)
Method to get a Font to use for a given TextDescriptor in this EditWindow.
|
double |
getFontHeight(TextDescriptor descript)
Method to get the height of text given a TextDescriptor in this EditWindow.
|
double |
getGlobalTextScale()
Method to return the text scale factor for this window.
|
java.awt.font.GlyphVector |
getGlyphs(java.lang.String text,
java.awt.Font font)
Method to convert a string and descriptor to a GlyphVector.
|
double |
getGridXSpacing()
Method to return the distance between grid dots in the X direction.
|
double |
getGridYSpacing()
Method to return the distance between grid dots in the Y direction.
|
java.awt.geom.Rectangle2D |
getHighlightedArea() |
java.util.List<Geometric> |
getHighlightedEObjs(boolean wantNodes,
boolean wantArcs) |
java.util.Set<Network> |
getHighlightedNetworks() |
Highlighter |
getHighlighter()
Get the highlighter for this WindowContent.
|
java.awt.geom.Point2D |
getHighlightOffset() |
java.util.List<NodeInst> |
getInPlaceEditNodePath()
Method to return a List of NodeInsts to the cell being in-place edited.
|
Cell |
getInPlaceEditTopCell()
Method to return the top-level cell for "in-place" display.
|
GetInfoText.EditInPlaceListener |
getInPlaceTextObject()
Method to return the current "in-place" text editing object on this EditWindow.
|
java.awt.geom.AffineTransform |
getInPlaceTransformIn()
Method to return the transformation matrix from the displayed top-level cell to the current cell.
|
java.awt.geom.AffineTransform |
getInPlaceTransformOut()
Method to return the transformation matrix from the current cell to the displayed top-level cell.
|
java.awt.Point |
getLastMousePosition() |
LayerVisibility |
getLayerVisibility() |
Highlighter |
getMouseOverHighlighter()
Get the mouse over highlighter for this EditWindow.
|
int |
getMultiPageNumber()
Method to return the page number that is shown in this window.
|
java.awt.geom.Point2D |
getOffset()
Method to return the offset factor for this window.
|
ElectricObject |
getOneElectricObject(java.lang.Class clz) |
javax.swing.JPanel |
getPanel()
Method to return the top-level JPanel for this EditWindow.
|
java.awt.image.BufferedImage |
getPrintImage(ElectricPrinter ep)
Method to print window using offscreen canvas.
|
javax.swing.JScrollBar |
getRightScrollBar()
Method to return the vertical scroll bar at the right side of the edit window.
|
Highlighter |
getRulerHighlighter()
Get the ruler highlighter for this EditWindow (for measurement).
|
EditWindowFocusBrowser |
getSavedFocusBrowser()
Get the Saved View Browser for this Edit Window
|
double |
getScale()
Method to return the scale factor for this window.
|
java.awt.geom.Point2D |
getScheduledOffset()
Method to return the offset factor for this window.
|
java.awt.Point |
getScreenLocationOfCorner()
Method to return the location of this window on the user's screens.
|
java.awt.Dimension |
getScreenSize()
Method to return the size of this EditWindow.
|
static int |
getScrollBarResolution()
Method to return the scroll bar resolution.
|
boolean |
getShowPopupCloud() |
java.awt.Point |
getStartDrag() |
RTNode |
getTextInCell()
Get the RTree with all text in this Cell.
|
double |
getTextScreenSize(double dbSize)
Method to find the size in points (actual screen units) for text of a given database size in this EditWindow.
|
double |
getTextUnitSize(double pointSize)
Method to find the size in database units for text of a given point size in this EditWindow.
|
VarContext |
getVarContext()
Get the window's VarContext
|
WindowFrame |
getWindowFrame()
Method to return the WindowFrame in which this EditWindow resides.
|
static void |
gridAlign(java.awt.geom.Point2D pt)
Method to snap a point to the nearest database-space grid unit.
|
static void |
gridAlignSize(java.awt.geom.Point2D pt,
int direction)
Method to snap a point to the nearest database-space grid unit.
|
boolean |
hasCrossProbeData()
Method to tell whether there is any cross-probed data in this EditWindow.
|
void |
highlightChanged(Highlighter which)
Called by the Highlight manager when highlights have changed
and will be updated on the screen.
|
void |
highlighterLostFocus(Highlighter highlighterGainedFocus)
Called when by a Highlighter when it loses focus.
|
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,
CodeExpression.Code codeRestr,
AbstractTextDescriptor.Unit unitRestr,
boolean highlightedOnly)
Method to initialize for a new text
|
static void |
invokeRenderJob() |
static boolean |
isArrayedContextMatter(Nodable no)
Returns true if, in terms of context, it matters which index
of the nodable we push into.
|
boolean |
isDoingAreaDrag() |
boolean |
isGrid()
Method to return the state of grid display in this window.
|
boolean |
isInPlaceEdit()
Method to tell whether this EditWindow is displaying a cell "in-place".
|
void |
keyPressed(java.awt.event.KeyEvent evt) |
void |
keyReleased(java.awt.event.KeyEvent evt) |
void |
keyTyped(java.awt.event.KeyEvent evt) |
java.util.List<javax.swing.tree.MutableTreeNode> |
loadExplorerTrees() |
void |
mouseClicked(java.awt.event.MouseEvent evt) |
void |
mouseDragged(java.awt.event.MouseEvent evt) |
void |
mouseEntered(java.awt.event.MouseEvent evt) |
void |
mouseExited(java.awt.event.MouseEvent evt) |
void |
mouseMoved(java.awt.event.MouseEvent evt) |
void |
mousePressed(java.awt.event.MouseEvent evt) |
void |
mouseReleased(java.awt.event.MouseEvent evt) |
void |
mouseWheelMoved(java.awt.event.MouseWheelEvent evt) |
static EditWindow |
needCurrent()
Method to return the current EditWindow.
|
void |
paintComponent(java.awt.Graphics graphics)
Method to repaint this EditWindow.
|
void |
panXOrY(int direction,
double[] panningAmounts,
int ticks)
Method to pan along X or Y according to fixed amount of ticks
|
void |
removeAllInPlaceTextObjects()
Method to remove all in-place text objects in this window.
|
void |
removeInPlaceTextObject(GetInfoText.EditInPlaceListener tl)
Method to remove a "in-place" text editing object from this EditWindow.
|
static void |
repaintAll()
Method requests that every EditWindow be redrawn, without rerendering the offscreen contents.
|
static void |
repaintAllContents()
Method requests that every EditWindow be redrawn, including a rerendering of its contents.
|
void |
repaintContents(java.awt.geom.Rectangle2D bounds,
boolean fullInstantiate)
Method requests that this EditWindow be redrawn, including a rerendering of the contents.
|
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 |
restoreHighlightList(java.util.List<Highlight2> list) |
void |
rightScrollChanged(int value) |
java.util.List<Highlight2> |
saveHighlightList() |
java.awt.geom.Point2D |
screenToDatabase(int screenX,
int screenY)
Method to convert a screen coordinate to database coordinates.
|
java.awt.geom.Rectangle2D |
screenToDatabase(java.awt.geom.Rectangle2D screenRect)
Method to convert a rectangle in screen units to a rectangle in
database units.
|
void |
setCell(Cell cell,
VarContext context,
WindowFrame.DisplayAttributes displayAttributes)
Method to set the cell that is shown in the window to "cell".
|
void |
setDoingAreaDrag() |
void |
setEndDrag(int x,
int y) |
void |
setGlobalTextScale(double gts)
Method to set the text scale factor for this window.
|
void |
setGrid(boolean showGrid)
Method to set the display of a grid in this window.
|
void |
setGridXSpacing(double spacing)
Method to set the distance between grid dots in the X direction.
|
void |
setGridYSpacing(double spacing)
Method to set the distance between grid dots in the Y direction.
|
void |
setHighlightOffset(int dX,
int dY) |
void |
setLayerVisibility(LayerVisibility lv) |
static void |
setLayerVisibilityAll(LayerVisibility lv)
Method signals that every EditWindow be redrawn after Layer visibility change
|
void |
setMultiPageNumber(int pageNumber)
Method to set the page number that is shown in this window.
|
void |
setOffset(java.awt.geom.Point2D off)
Method to set the offset factor for this window.
|
void |
setScale(double scale)
Method to set the scale factor for this window.
|
void |
setScrollPosition()
New version of setScrollPosition.
|
void |
setShowPopupCloud(java.util.List<java.lang.String> text,
java.awt.geom.Point2D point) |
void |
setStartDrag(int x,
int y) |
void |
setTextInCell(RTNode tic)
Set the RTree with all text in this Cell.
|
void |
setWindowTitle()
Method to set the window title.
|
void |
showDraggedBox(java.lang.Object toDraw,
int oldx,
int oldy)
Method to set the highlight to show the outline of a node that will be placed in this EditWindow.
|
static EditWindow |
showEditWindowForCell(Cell c,
VarContext varC)
Method to bring to the front a WindowFrame associated to a given Cell.
|
void |
testJogl() |
void |
upHierarchy(boolean keepFocus)
Pop out of an instance (go up the hierarchy)
|
void |
writeImage(ElectricPrinter ep,
java.lang.String filePath)
Method to export directly PNG file.
|
void |
zoomInContents() |
void |
zoomOutContents() |
void |
zoomWindowToFitCellInstance(NodeProto np)
Method to zoom this window to fit a placed node (if appropriate).
|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
repaint, setCursor
public static EditWindow CreateElectricDoc(Cell cell, WindowFrame wf, java.awt.Dimension approxSZ)
cell
- the cell in this EditWindow.wf
- the WindowFrame that this EditWindow lives in.approxSZ
- the approximate size of this EditWindow (in pixels).public void mousePressed(java.awt.event.MouseEvent evt)
mousePressed
in interface java.awt.event.MouseListener
public void mouseReleased(java.awt.event.MouseEvent evt)
mouseReleased
in interface java.awt.event.MouseListener
public void mouseClicked(java.awt.event.MouseEvent evt)
mouseClicked
in interface java.awt.event.MouseListener
public void mouseEntered(java.awt.event.MouseEvent evt)
mouseEntered
in interface java.awt.event.MouseListener
public void mouseExited(java.awt.event.MouseEvent evt)
mouseExited
in interface java.awt.event.MouseListener
public void mouseMoved(java.awt.event.MouseEvent evt)
mouseMoved
in interface java.awt.event.MouseMotionListener
public void mouseDragged(java.awt.event.MouseEvent evt)
mouseDragged
in interface java.awt.event.MouseMotionListener
public void mouseWheelMoved(java.awt.event.MouseWheelEvent evt)
mouseWheelMoved
in interface java.awt.event.MouseWheelListener
public void keyPressed(java.awt.event.KeyEvent evt)
keyPressed
in interface java.awt.event.KeyListener
public void keyReleased(java.awt.event.KeyEvent evt)
keyReleased
in interface java.awt.event.KeyListener
public void keyTyped(java.awt.event.KeyEvent evt)
keyTyped
in interface java.awt.event.KeyListener
public void highlightChanged(Highlighter which)
HighlightListener
highlightChanged
in interface HighlightListener
public void highlighterLostFocus(Highlighter highlighterGainedFocus)
highlighterLostFocus
in interface HighlightListener
highlighterGainedFocus
- the highlighter for the current window (may be null).public java.awt.Point getLastMousePosition()
public void showDraggedBox(java.lang.Object toDraw, int oldx, int oldy)
toDraw
- the object to draw (a NodeInst or a NodeProto).oldx
- the X position (on the screen) of the outline.oldy
- the Y position (on the screen) of the outline.public void zoomWindowToFitCellInstance(NodeProto np)
np
- the node being placed.public javax.swing.JPanel getPanel()
getPanel
in interface WindowContent
public java.awt.Point getScreenLocationOfCorner()
getScreenLocationOfCorner
in interface EditWindow_
public static EditWindow getCurrent()
public static EditWindow needCurrent()
public Cell getCell()
getCell
in interface EditWindow_
getCell
in interface WindowContent
public void setMultiPageNumber(int pageNumber)
pageNumber
- the page number that is shown in this window (0-based).public int getMultiPageNumber()
public boolean isInPlaceEdit()
public Cell getInPlaceEditTopCell()
public java.util.List<NodeInst> getInPlaceEditNodePath()
public java.awt.geom.AffineTransform getInPlaceTransformIn()
public java.awt.geom.AffineTransform getInPlaceTransformOut()
public Highlighter getHighlighter()
getHighlighter
in interface WindowContent
public Highlighter getMouseOverHighlighter()
public Highlighter getRulerHighlighter()
public RTNode getTextInCell()
public void setTextInCell(RTNode tic)
tic
- the RTree with all text in this Cell.public WindowFrame getWindowFrame()
public void setCell(Cell cell, VarContext context, WindowFrame.DisplayAttributes displayAttributes)
setCell
in interface WindowContent
public void setWindowTitle()
setWindowTitle
in interface WindowContent
public static EditWindow findWindow(Cell cell)
cell
- the Cell to find.public static EditWindow showEditWindowForCell(Cell c, VarContext varC)
c
- the Cell in the window to raise.varC
- the Context of that window.public java.util.List<javax.swing.tree.MutableTreeNode> loadExplorerTrees()
loadExplorerTrees
in interface WindowContent
public void finished()
finished
in interface WindowContent
public static int getScrollBarResolution()
public javax.swing.JScrollBar getBottomScrollBar()
public javax.swing.JScrollBar getRightScrollBar()
public void paintComponent(java.awt.Graphics graphics)
paintComponent
in class javax.swing.JComponent
public void addInPlaceTextObject(GetInfoText.EditInPlaceListener tl)
tl
- the Listener that is now sitting on top of this EditWindow.public GetInfoText.EditInPlaceListener getInPlaceTextObject()
public void removeInPlaceTextObject(GetInfoText.EditInPlaceListener tl)
tl
- the Listener that is no longer sitting on top of this EditWindow.public void removeAllInPlaceTextObjects()
public static void displayAlgorithmChanged()
public LayerVisibility getLayerVisibility()
public void setLayerVisibility(LayerVisibility lv)
public static void repaintAllContents()
public static void setLayerVisibilityAll(LayerVisibility lv)
public static void repaintAll()
public void fullRepaint()
fullRepaint
in interface WindowContent
public void repaintContents(java.awt.geom.Rectangle2D bounds, boolean fullInstantiate)
repaintContents
in interface EditWindow_
bounds
- the area to redraw (null to draw everything).fullInstantiate
- true to display to the bottom of the hierarchy (for peeking).public static void invokeRenderJob()
public void testJogl()
public void clearCrossProbeLevels()
public boolean hasCrossProbeData()
public void addCrossProbeLine(java.awt.geom.Point2D start, java.awt.geom.Point2D end, java.awt.Color color)
start
- the starting point of the line.end
- the ending point of the line.color
- the color of the line.public void addCrossProbeBox(java.awt.geom.Rectangle2D box, java.awt.Color color)
box
- the bounds of the box.color
- the color of the box.public boolean isDoingAreaDrag()
public void setDoingAreaDrag()
public void clearDoingAreaDrag()
public java.awt.Point getStartDrag()
public void setStartDrag(int x, int y)
public java.awt.Point getEndDrag()
public void setEndDrag(int x, int y)
public void setGrid(boolean showGrid)
showGrid
- true to show the grid.public boolean isGrid()
isGrid
in interface EditWindow_
public double getGridXSpacing()
getGridXSpacing
in interface EditWindow_
public void setGridXSpacing(double spacing)
spacing
- the distance between grid dots in the X direction.public double getGridYSpacing()
getGridYSpacing
in interface EditWindow_
public void setGridYSpacing(double spacing)
spacing
- the distance between grid dots in the Y direction.public java.awt.geom.Rectangle2D displayableBounds()
public void initTextSearch(java.lang.String search, boolean caseSensitive, boolean regExp, java.util.Set<TextUtils.WhatToSearch> whatToSearch, CodeExpression.Code codeRestr, AbstractTextDescriptor.Unit unitRestr, boolean highlightedOnly)
initTextSearch
in interface WindowContent
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.codeRestr
- a restriction on types of Code to consider (null to consider all Code values).unitRestr
- a restriction on types of Units to consider (null to consider all Unit values).highlightedOnly
- true to search only in the highlighted area.public boolean findNextText(boolean reverse)
findNextText
in interface WindowContent
reverse
- true to find in the reverse direction.public void replaceText(java.lang.String replace)
replaceText
in interface WindowContent
replace
- the new text to replace.public void replaceAllText(java.lang.String replace)
replaceAllText
in interface WindowContent
replace
- the new text to replace everywhere.public boolean getShowPopupCloud()
public void setShowPopupCloud(java.util.List<java.lang.String> text, java.awt.geom.Point2D point)
public void clearShowPopupCloud()
public java.awt.Dimension getScreenSize()
public double getScale()
getScale
in interface EditWindow0
getScale
in interface EditWindow_
public double getGlobalTextScale()
getGlobalTextScale
in interface EditWindow0
public void setGlobalTextScale(double gts)
gts
- the text scale factor for this window.public void setScale(double scale)
setScale
in interface EditWindow_
scale
- the scale factor for this window.public java.awt.geom.Point2D getOffset()
getOffset
in interface EditWindow_
public java.awt.geom.Point2D getScheduledOffset()
public void setOffset(java.awt.geom.Point2D off)
setOffset
in interface EditWindow_
off
- the offset factor for this window.public java.awt.geom.Rectangle2D getDisplayedBounds()
getDisplayedBounds
in interface EditWindow_
public void setScrollPosition()
public void bottomScrollChanged(int value)
bottomScrollChanged
in interface WindowContent
public void rightScrollChanged(int value)
rightScrollChanged
in interface WindowContent
public void focusScreen(java.awt.geom.Rectangle2D bounds)
bounds
- the area to make fill the screen.public java.awt.geom.Rectangle2D getBoundsInWindow()
getBoundsInWindow
in interface EditWindow_
public void addElectricObject(ElectricObject eObj, Cell cell)
addElectricObject
in interface EditWindow_
public java.awt.geom.Rectangle2D getHighlightedArea()
getHighlightedArea
in interface EditWindow_
public void addHighlightArea(java.awt.geom.Rectangle2D rect, Cell cell)
addHighlightArea
in interface EditWindow_
public void addHighlightLine(java.awt.geom.Point2D pt1, java.awt.geom.Point2D pt2, Cell cell, boolean thick)
addHighlightLine
in interface EditWindow_
public void addHighlightMessage(Cell cell, java.lang.String message, java.awt.geom.Point2D loc)
addHighlightMessage
in interface EditWindow_
public void addHighlightText(ElectricObject eObj, Cell cell, Variable.Key varKey)
addHighlightText
in interface EditWindow_
public ElectricObject getOneElectricObject(java.lang.Class clz)
getOneElectricObject
in interface EditWindow_
public java.util.List<Geometric> getHighlightedEObjs(boolean wantNodes, boolean wantArcs)
getHighlightedEObjs
in interface EditWindow_
public java.util.Set<Network> getHighlightedNetworks()
getHighlightedNetworks
in interface EditWindow_
public java.awt.geom.Point2D getHighlightOffset()
getHighlightOffset
in interface EditWindow_
public void setHighlightOffset(int dX, int dY)
setHighlightOffset
in interface EditWindow_
public java.util.List<Highlight2> saveHighlightList()
saveHighlightList
in interface EditWindow_
public void restoreHighlightList(java.util.List<Highlight2> list)
restoreHighlightList
in interface EditWindow_
public void clearHighlighting()
clearHighlighting
in interface EditWindow_
public void finishedHighlighting()
finishedHighlighting
in interface EditWindow_
public void fillScreen()
fillScreen
in interface EditWindow_
fillScreen
in interface WindowContent
public void zoomOutContents()
zoomOutContents
in interface WindowContent
public void zoomInContents()
zoomInContents
in interface WindowContent
public void focusOnHighlighted()
focusOnHighlighted
in interface WindowContent
public EditWindowFocusBrowser getSavedFocusBrowser()
public VarContext getVarContext()
getVarContext
in interface EditWindow0
getVarContext
in interface EditWindow_
public void downHierarchy(boolean keepFocus, boolean newWindow, boolean inPlace)
keepFocus
- true to keep the zoom and scale in the new window.newWindow
- true to create a new window for the cell.inPlace
- true to descend "in-place" showing the higher levels.public static boolean isArrayedContextMatter(Nodable no)
no
- the nodablepublic void upHierarchy(boolean keepFocus)
public static void clearSubCellCache()
public static void expansionChanged(Cell cell)
cell
- the Cell that changed.public java.awt.geom.Point2D screenToDatabase(int screenX, int screenY)
screenX
- the X coordinate (on the screen in this EditWindow).screenY
- the Y coordinate (on the screen in this EditWindow).public java.awt.geom.Rectangle2D screenToDatabase(java.awt.geom.Rectangle2D screenRect)
screenRect
- the rectangle to convertpublic java.awt.geom.Point2D deltaScreenToDatabase(int screenDX, int screenDY)
screenDX
- the X coordinate change (on the screen in this EditWindow).screenDY
- the Y coordinate change (on the screen in this EditWindow).public void databaseToScreen(double dbX, double dbY, java.awt.Point result)
dbX
- the X coordinate (in database units).dbY
- the Y coordinate (in database units).result
- the Point in which to store the screen coordinates.public java.awt.Point databaseToScreen(double dbX, double dbY)
databaseToScreen
in interface EditWindow_
dbX
- the X coordinate (in database units).dbY
- the Y coordinate (in database units).public java.awt.Point databaseToScreen(java.awt.geom.Point2D db)
db
- the coordinate (in database units).public java.awt.Rectangle databaseToScreen(java.awt.geom.Rectangle2D db)
db
- the rectangle (in database units).public java.awt.Point deltaDatabaseToScreen(double dbDX, double dbDY)
dbDX
- the X change (in database units).dbDY
- the Y change (in database units).public static void gridAlign(java.awt.geom.Point2D pt)
pt
- the point to be snapped.public static void gridAlignSize(java.awt.geom.Point2D pt, int direction)
pt
- the point to be snapped.direction
- -1 if X and Y coordinates, 0 if only X and 1 if only Ypublic double getTextUnitSize(double pointSize)
pointSize
- the size of the text in points.public double getTextScreenSize(double dbSize)
dbSize
- the size of the text in database grid-units.public static int getDefaultFontSize()
public java.awt.Font getFont(TextDescriptor descript)
descript
- the TextDescriptor.public double getFontHeight(TextDescriptor descript)
descript
- the TextDescriptor.public java.awt.font.GlyphVector getGlyphs(java.lang.String text, java.awt.Font font)
text
- the string to convert.font
- the Font to use.public void databaseChanged(DatabaseChangeEvent e)
DatabaseChangeListener
databaseChanged
in interface DatabaseChangeListener
e
- database change event.public void writeImage(ElectricPrinter ep, java.lang.String filePath)
writeImage
in interface WindowContent
ep
- printable object.filePath
- public boolean initializePrinting(ElectricPrinter ep, java.awt.print.PageFormat pageFormat)
initializePrinting
in interface WindowContent
ep
- the ElectricPrinter object.pageFormat
- information about the print job.public java.awt.image.BufferedImage getPrintImage(ElectricPrinter ep)
getPrintImage
in interface WindowContent
ep
- printable object.public void panXOrY(int direction, double[] panningAmounts, int ticks)
panXOrY
in interface WindowContent
direction
- 0 is X and 1 is YpanningAmounts
- ticks
- public void centerCursor()
centerCursor
in interface WindowContent