com.sun.electric.tool.user.ui

Class MessagesWindow

java.lang.Object

com.sun.electric.tool.user.ui.MessagesWindow

All Implemented Interfaces:

java.awt.datatransfer.ClipboardOwner, java.awt.event.MouseListener, java.util.EventListener

public class MessagesWindow
extends java.lang.Object
implements java.awt.event.MouseListener, java.awt.datatransfer.ClipboardOwner

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

Constructors

Constructor and Description
MessagesWindow()

Method Summary

Modifier and Type	Method and Description
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

MessagesWindow

public MessagesWindow()

Method Detail

getComponent

public java.awt.Component getComponent()

isFocusOwner

public boolean isFocusOwner()

requestFocus

public void requestFocus()

Method to request focus on this window

getMessagesLocation

public java.awt.Rectangle getMessagesLocation()

getMessagesCharWidth

public int getMessagesCharWidth()

tileWithEdit

public void tileWithEdit()

Method to adjust the Messages Window so that it attaches to the current Edit Window.

clear

public void clear()

Method to erase everything in the messages window.

appendString

public void appendString(java.lang.String str)

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Specified by:

mouseEntered in interface java.awt.event.MouseListener

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Specified by:

mouseExited in interface java.awt.event.MouseListener

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Specified by:

mouseReleased in interface java.awt.event.MouseListener

lostOwnership

public void lostOwnership(java.awt.datatransfer.Clipboard parClipboard,
                          java.awt.datatransfer.Transferable parTransferable)

Specified by:

lostOwnership in interface java.awt.datatransfer.ClipboardOwner

selectFont

public void selectFont()

Method to interactively select the messages window font.