/** * Sets the font style to be used to decorate data written to this stream. * * @param newFontStyle the font style to be used to decorate data written to this stream */ public void setFontStyle(int newFontStyle) { if (newFontStyle != fontStyle) { int old = fontStyle; fontStyle = newFontStyle; console.firePropertyChange(this, IConsoleConstants.P_FONT_STYLE, Integer.valueOf(old), Integer.valueOf(fontStyle)); } }
/** * Sets the font style to be used to decorate data written to this stream. * * @param newFontStyle the font style to be used to decorate data written to this stream */ public void setFontStyle(int newFontStyle) { if (newFontStyle != fontStyle) { int old = fontStyle; fontStyle = newFontStyle; console.firePropertyChange(this, IConsoleConstants.P_FONT_STYLE, new Integer(old), new Integer(fontStyle)); } }
/** * Sets this stream's font style. * * @param newFontStyle the font style to be used to decorate input in the associated console */ public void setFontStyle(int newFontStyle) { if (newFontStyle != fontStyle) { int old = fontStyle; fontStyle = newFontStyle; console.firePropertyChange(this, IConsoleConstants.P_FONT_STYLE, Integer.valueOf(old), Integer.valueOf(fontStyle)); } }
/** * Sets this stream's font style. * * @param newFontStyle the font style to be used to decorate input in the associated console */ public void setFontStyle(int newFontStyle) { if (newFontStyle != fontStyle) { int old = fontStyle; fontStyle = newFontStyle; console.firePropertyChange(this, IConsoleConstants.P_FONT_STYLE, new Integer(old), new Integer(fontStyle)); } }
/** * Sets the color to used to decorate input in the associated console. * * @param newColor the color to used to decorate input in the associated console. */ public void setColor(Color newColor) { Color old = color; if (old == null || !old.equals(newColor)) { color = newColor; console.firePropertyChange(this, IConsoleConstants.P_STREAM_COLOR, old, newColor); } }
/** * Sets the color to used to decorate input in the associated console. * * @param newColor the color to used to decorate input in the associated console. */ public void setColor(Color newColor) { Color old = color; if (old == null || !old.equals(newColor)) { color = newColor; console.firePropertyChange(this, IConsoleConstants.P_STREAM_COLOR, old, newColor); } }
/** * Sets the color of this stream. Use <code>null</code> to indicate * the default color. * * @param newColor color of this stream, or <code>null</code> */ public void setColor(Color newColor) { Color old = color; if (old == null || !old.equals(newColor)) { color = newColor; console.firePropertyChange(this, IConsoleConstants.P_STREAM_COLOR, old, newColor); } }
/** * Sets the color of this stream. Use <code>null</code> to indicate * the default color. * * @param newColor color of this stream, or <code>null</code> */ public void setColor(Color newColor) { Color old = color; if (old == null || !old.equals(newColor)) { color = newColor; console.firePropertyChange(this, IConsoleConstants.P_STREAM_COLOR, old, newColor); } }