/** * Fires the console output complete property change event. */ private synchronized void checkFinished() { if (!fCompleteFired && fPartitionerFinished && fMatcherFinished ) { fCompleteFired = true; firePropertyChange(this, IConsoleConstants.P_CONSOLE_OUTPUT_COMPLETE, null, null); } }
/** * Fires the console output complete property change event. */ private synchronized void checkFinished() { if (!fCompleteFired && fPartitionerFinished && fMatcherFinished ) { fCompleteFired = true; firePropertyChange(this, IConsoleConstants.P_CONSOLE_OUTPUT_COMPLETE, null, null); } }
@Override public void run() { firePropertyChange(TextConsole.this, IConsoleConstants.P_TAB_SIZE, Integer.valueOf(oldTabWidth), Integer.valueOf(fTabWidth)); } });
/** * Sets the width of this console in characters. Any value greater than zero * will cause this console to have a fixed width. * * @param width the width to make this console. Values of 0 or less imply * the console does not have any fixed width. */ public void setConsoleWidth(int width) { if (fConsoleWidth != width) { int old = fConsoleWidth; fConsoleWidth = width; firePropertyChange(this, IConsoleConstants.P_CONSOLE_WIDTH, Integer.valueOf(old), Integer.valueOf(fConsoleWidth)); } }
/** * Sets the width of this console in characters. Any value greater than zero * will cause this console to have a fixed width. * * @param width the width to make this console. Values of 0 or less imply * the console does not have any fixed width. */ public void setConsoleWidth(int width) { if (fConsoleWidth != width) { int old = fConsoleWidth; fConsoleWidth = width; firePropertyChange(this, IConsoleConstants.P_CONSOLE_WIDTH, new Integer(old), new Integer(fConsoleWidth)); } }
public void run() { firePropertyChange(TextConsole.this, IConsoleConstants.P_TAB_SIZE, new Integer(oldTabWidth), new Integer(fTabWidth)); } });
/** * Sets the background color used by this console. Specify <code>null</code> to use * the default background color. * * @param background background color or <code>null</code> for default * @since 3.3 */ public void setBackground(Color background) { if (fBackground == null) { if (background == null) { return; } } else if (fBackground.equals(background)){ return; } Color old = fBackground; fBackground = background; firePropertyChange(this, IConsoleConstants.P_BACKGROUND_COLOR, old, fBackground); }
/** * Sets the background color used by this console. Specify <code>null</code> to use * the default background color. * * @param background background color or <code>null</code> for default * @since 3.3 */ public void setBackground(Color background) { if (fBackground == null) { if (background == null) { return; } } else if (fBackground.equals(background)){ return; } Color old = fBackground; fBackground = background; firePropertyChange(this, IConsoleConstants.P_BACKGROUND_COLOR, old, fBackground); }
/** * Sets the font used by this console. Specify <code>null</code> to use * the default text font. * * @param newFont font, or <code>null</code> to indicate the default font */ public void setFont(Font newFont) { // ensure font is initialized getFont(); // translate null to default font if (newFont == null) { newFont = getDefaultFont(); } // fire property change if required if (!fFont.equals(newFont)) { Font old = fFont; fFont = newFont; firePropertyChange(this, IConsoleConstants.P_FONT, old, fFont); } }
/** * Sets the font used by this console. Specify <code>null</code> to use * the default text font. * * @param newFont font, or <code>null</code> to indicate the default font */ public void setFont(Font newFont) { // ensure font is initialized getFont(); // translate null to default font Font font = newFont; if (font == null) { font = getDefaultFont(); } // fire property change if required if (!fFont.equals(font)) { Font old = fFont; fFont = font; firePropertyChange(this, IConsoleConstants.P_FONT, old, fFont); } }