void refreshObject() { int index = list.getSelectionIndex(); if ( index == -1 ) { return; } if ( check.getSelection() ) { ByteArrayOutputStream stream = new ByteArrayOutputStream(); PrintStream s = new PrintStream( stream ); errors[index].printStackTrace( s ); text.setText( stream.toString() ); text.setVisible( true ); canvas.setVisible( false ); } else { canvas.setVisible( true ); text.setVisible( false ); canvas.redraw(); } }
public void setVisible(boolean visible) { checkWidget(); if (visible) _resize(); super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) _resize(); super.setVisible(visible); }
public void setVisible(boolean visible) { checkWidget(); if (visible) { _resize(); } super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) { _resize(); } super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) { _resize(); } super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) _resize(); super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) _resize(); super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) { _resize(); } super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) { _resize(); } super.setVisible(visible); }
@Override public void setVisible(boolean visible) { checkWidget(); if (visible) _resize(); super.setVisible(visible); }
@Override public void runSupport() { if (cHeaderArea != null && !cHeaderArea.isDisposed()) { cHeaderArea.setVisible(visible); FormData fd = Utils.getFilledFormData(); fd.height = visible ? headerHeight : 1; fd.bottom = null; cHeaderArea.setLayoutData(fd); cHeaderArea.getParent().layout(true); } } });
/** * Marks the receiver's header as visible if the argument is <code>true</code>, * and marks it invisible otherwise. * <p> * If one of the receiver's ancestors is not visible or some * other condition makes the receiver not visible, marking * it visible may not actually cause it to be displayed. * </p> * * @param show the new visibility state * * @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 setHeaderVisible (boolean value) { checkWidget (); if (header.getVisible () == value) return; /* no change */ headerHideToolTip (); header.setVisible (value); updateVerticalBar (); redraw (); } void setImageHeight (int value) {
drawable.setVisible(false);
header.setVisible (false); header.setBounds (0, 0, 0, fontHeight + 2 * getHeaderPadding ()); header.addListener (SWT.Paint, listener);