public void setFont(Font font) { super.setFont(font); redraw(); } /**
@Override public void setFont(Font font) { super.setFont(font); redraw(); } /**
public void setFailedCount(int no) { // m_failedText.setText(String.valueOf(no)); // m_failedText.redraw(); // redraw(); m_failedLabel.setText("Failed: " + no); m_failedLabel.redraw(); }
public void setPassedCount(int no) { // m_passedText.setText(String.valueOf(no)); // m_passedText.redraw(); // redraw(); m_passedLabel.setText("Passed: " + no); m_passedLabel.redraw(); }
public void setSkippedCount(int no) { // m_skippedText.setText(String.valueOf(no)); // m_skippedText.redraw(); // redraw(); m_skippedLabel.setText("Skipped: " + no); m_skippedLabel.redraw(); }
@Override public void setFont(Font font) { super.setFont(font); redraw(); } /**
@Override public void setFont(Font font) { super.setFont(font); redraw(); } /**
@Override public void setFont(Font font) { super.setFont(font); redraw(); } /**
/** * Set the label's bottom margin, in pixels. * * @param bottomMargin the bottom margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setBottomMargin(int bottomMargin) { checkWidget(); if (this.bottomMargin == bottomMargin || bottomMargin < 0) return; this.bottomMargin = bottomMargin; redraw(); } @Override
/** * Set the label's top margin, in pixels. * * @param topMargin the top margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setTopMargin(int topMargin) { checkWidget(); if (this.topMargin == topMargin || topMargin < 0) return; this.topMargin = topMargin; redraw(); } /**
/** * Set the label's top margin, in pixels. * * @param topMargin the top margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setTopMargin(int topMargin) { checkWidget(); if (this.topMargin == topMargin || topMargin < 0) return; this.topMargin = topMargin; redraw(); } /**
/** * Set the label's horizontal left margin, in pixels. * * @param leftMargin the left margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setLeftMargin(int leftMargin) { checkWidget(); if (this.leftMargin == leftMargin || leftMargin < 0) return; this.leftMargin = leftMargin; redraw(); } /**
/** * Set the label's horizontal left margin, in pixels. * * @param leftMargin the left margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setLeftMargin(int leftMargin) { checkWidget(); if (this.leftMargin == leftMargin || leftMargin < 0) return; this.leftMargin = leftMargin; redraw(); } /**
/** * Set the label's Image. * The value <code>null</code> clears it. * * @param image the image to be displayed in the label or null * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> */ public void setImage(Image image) { checkWidget(); if (image != this.image) { this.image = image; redraw(); } } /**
/** * Set the label's right margin, in pixels. * * @param rightMargin the right margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setRightMargin(int rightMargin) { checkWidget(); if (this.rightMargin == rightMargin || rightMargin < 0) return; this.rightMargin = rightMargin; redraw(); } /**
/** * Set the label's Image. * The value <code>null</code> clears it. * * @param image the image to be displayed in the label or null * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> */ public void setImage(Image image) { checkWidget(); if (image != this.image) { this.image = image; redraw(); } } /**
/** * Set the label's horizontal left margin, in pixels. * * @param leftMargin the left margin of the label, which must be equal to or greater than zero * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> * * @since 3.6 */ public void setLeftMargin(int leftMargin) { checkWidget(); if (this.leftMargin == leftMargin || leftMargin < 0) return; this.leftMargin = leftMargin; redraw(); } /**
public void setBackground (Color color) { super.setBackground (color); // Are these settings the same as before? if (backgroundImage == null && gradientColors == null && gradientPercents == null) { if (color == null) { if (background == null) return; } else { if (color.equals(background)) return; } } background = color; backgroundImage = null; gradientColors = null; gradientPercents = null; redraw (); }
@Override public void setBackground (Color color) { super.setBackground (color); // Are these settings the same as before? if (backgroundImage == null && gradientColors == null && gradientPercents == null) { if (color == null) { if (background == null) return; } else { if (color.equals(background)) return; } } background = color; backgroundImage = null; gradientColors = null; gradientPercents = null; redraw (); }
@Override public void setBackground (Color color) { super.setBackground (color); // Are these settings the same as before? if (backgroundImage == null && gradientColors == null && gradientPercents == null) { if (color == null) { if (background == null) return; } else { if (color.equals(background)) return; } } background = color; backgroundImage = null; gradientColors = null; gradientPercents = null; redraw (); }