本文整理了Java中org.eclipse.swt.widgets.Scale.addDisposeListener()方法的一些代码示例，展示了Scale.addDisposeListener()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。Scale.addDisposeListener()方法的具体详情如下：
包路径：org.eclipse.swt.widgets.Scale
类名称：Scale
方法名：addDisposeListener

Scale.addDisposeListener介绍

暂无

代码示例

代码示例来源：origin: org.eclipse.scout.sdk.deps/org.eclipse.jface

/**
 * Returns this field editor's scale control. The control is created if it
 * does not yet exist.
 *
 * @param parent
 *            the parent
 * @return the scale control
 */
private Scale getScaleControl(Composite parent) {
  if (scale == null) {
    scale = new Scale(parent, SWT.HORIZONTAL);
    scale.setFont(parent.getFont());
    scale.addSelectionListener(new SelectionAdapter() {
      @Override
      public void widgetSelected(SelectionEvent event) {
        valueChanged();
      }
    });
    scale.addDisposeListener(event -> scale = null);
  } else {
    checkParent(scale, parent);
  }
  return scale;
}

代码示例来源：origin: org.eclipse.rap/org.eclipse.rap.jface

/**
 * Returns this field editor's scale control. The control is created if it
 * does not yet exist.
 * 
 * @param parent
 *            the parent
 * @return the scale control
 */
private Scale getScaleControl(Composite parent) {
  if (scale == null) {
    scale = new Scale(parent, SWT.HORIZONTAL);
    scale.setFont(parent.getFont());
    scale.addSelectionListener(new SelectionAdapter() {
      public void widgetSelected(SelectionEvent event) {
        valueChanged();
      }
    });
    scale.addDisposeListener(new DisposeListener() {
      public void widgetDisposed(DisposeEvent event) {
        scale = null;
      }
    });
  } else {
    checkParent(scale, parent);
  }
  return scale;
}

代码示例来源：origin: org.eclipse.platform/org.eclipse.jface

/**
 * Returns this field editor's scale control. The control is created if it
 * does not yet exist.
 *
 * @param parent
 *            the parent
 * @return the scale control
 */
private Scale getScaleControl(Composite parent) {
  if (scale == null) {
    scale = new Scale(parent, SWT.HORIZONTAL);
    scale.setFont(parent.getFont());
    scale.addSelectionListener(widgetSelectedAdapter(event -> valueChanged()));
    scale.addDisposeListener(event -> scale = null);
  } else {
    checkParent(scale, parent);
  }
  return scale;
}