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

java.lang.Object
  extended by com.sun.electric.tool.user.ui.MessagesWindow
All Implemented Interfaces:
java.awt.datatransfer.ClipboardOwner, java.awt.event.MouseListener, java.lang.Runnable, java.util.EventListener, java.util.Observer

public class MessagesWindow
extends java.lang.Object
implements java.util.Observer, java.awt.event.MouseListener, java.lang.Runnable, 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
MessagesWindow()
           
 
Method Summary
 void clear()
          Method to erase everything in the messages window.
protected  void dump(java.lang.String str)
           
 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 run()
           
 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.
 void update(java.util.Observable obs, java.lang.Object str)
           
 
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.


update

public void update(java.util.Observable obs,
                   java.lang.Object str)
Specified by:
update in interface java.util.Observer

run

public void run()
Specified by:
run in interface java.lang.Runnable

dump

protected void dump(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.