|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.sun.electric.tool.user.ui.MessagesWindow
public class MessagesWindow
a console for the Java side of Electric. Used because the standard Electric console can't handle multiple threads of printing. An instance of this class should be set as the PrintStream for System.out, e.g. System.setOut(new PrintStream(new MessagesWindow())); In such a situation, there should never be a reason to call any of the methods of this class directly.
Constructor Summary | |
---|---|
MessagesWindow()
|
Method Summary | |
---|---|
void |
appendString(java.lang.String str)
|
void |
clear()
Method to erase everything in the messages window. |
java.awt.Component |
getComponent()
|
int |
getMessagesCharWidth()
|
java.awt.Rectangle |
getMessagesLocation()
|
boolean |
isFocusOwner()
|
void |
lostOwnership(java.awt.datatransfer.Clipboard parClipboard,
java.awt.datatransfer.Transferable parTransferable)
|
void |
mouseClicked(java.awt.event.MouseEvent e)
|
void |
mouseEntered(java.awt.event.MouseEvent e)
|
void |
mouseExited(java.awt.event.MouseEvent e)
|
void |
mousePressed(java.awt.event.MouseEvent e)
|
void |
mouseReleased(java.awt.event.MouseEvent e)
|
void |
requestFocus()
Method to request focus on this window |
void |
selectFont()
Method to interactively select the messages window font. |
void |
tileWithEdit()
Method to adjust the Messages Window so that it attaches to the current Edit Window. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MessagesWindow()
Method Detail |
---|
public java.awt.Component getComponent()
public boolean isFocusOwner()
public void requestFocus()
public java.awt.Rectangle getMessagesLocation()
public int getMessagesCharWidth()
public void tileWithEdit()
public void clear()
public void appendString(java.lang.String str)
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
public void mouseEntered(java.awt.event.MouseEvent e)
mouseEntered
in interface java.awt.event.MouseListener
public void mouseExited(java.awt.event.MouseEvent e)
mouseExited
in interface java.awt.event.MouseListener
public void mousePressed(java.awt.event.MouseEvent e)
mousePressed
in interface java.awt.event.MouseListener
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
in interface java.awt.event.MouseListener
public void lostOwnership(java.awt.datatransfer.Clipboard parClipboard, java.awt.datatransfer.Transferable parTransferable)
lostOwnership
in interface java.awt.datatransfer.ClipboardOwner
public void selectFont()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |