listing29.3.java

java 完全探索的随书源码

public synchronized String getOutputText() {
   return( OutputText );
}

public synchronized void setOutputText( String text ) {
   OutputText = text;
   // force a paint
   Graphics g = getGraphics();
   if ( g != null ) {
     update(g);
   }
}

public synchronized Color getBGColor() {
   return( BGColor );
}

public synchronized void setBGColor( Color color ) {
   BGColor = color;
   setBackground( BGColor );   // set the Canvas's background color.
   repaint();
}

public synchronized Font getTextFont() {
   return( TextFont );
}

public synchronized void setTextFont( Font font ) {
   TextFont = font;
   setFont( TextFont );        // set the Canvas's font.
}

public synchronized Color getFontColor() {
   return( FontColor );
}

public synchronized void setFontColor( Color color ) {
   FontColor = color;
   setForeground( FontColor ); // set the Canvas's foreground color.
   repaint();
}