addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) {
addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) {
addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { getDisplay().removeFilter(SWT.FocusIn, filter);
IPropertyChangeListener listener = x -> propertyChange(x); prefs.addPropertyChangeListener(listener); scrolled.addDisposeListener(x -> prefs.removePropertyChangeListener(listener));
addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) {
addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) {
fScrolledComposite.setExpandHorizontal(true); fScrolledComposite.setExpandVertical(true); fScrolledComposite.addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { JFaceResources.getFontRegistry().removeListener(fPropertyChangeListener);
fScrolledComposite.setExpandHorizontal(true); fScrolledComposite.setExpandVertical(true); fScrolledComposite.addDisposeListener(new DisposeListener() { @Override public void widgetDisposed(DisposeEvent e) {
fScrolledComposite.setExpandHorizontal(true); fScrolledComposite.setExpandVertical(true); fScrolledComposite.addDisposeListener(e -> { JFaceResources.getFontRegistry().removeListener(fPropertyChangeListener); fScrolledComposite = null;
fScrolledComposite.setExpandHorizontal(true); fScrolledComposite.setExpandVertical(true); fScrolledComposite.addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { JFaceResources.getFontRegistry().removeListener(AJMapEditor.this);
scrollComposite.addDisposeListener(new DisposeListener(){ @Override public void widgetDisposed(DisposeEvent arg0) {
display.addFilter(SWT.KeyDown, keyScrollingFilter); display.addFilter(SWT.Traverse, keyScrollingFilter); sc.addDisposeListener(e -> removeKeyScrolling());