01: /*******************************************************************************
02: * Copyright (c) 2000, 2006 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.pde.internal.ui.editor.text;
11:
12: import org.eclipse.jface.text.DefaultInformationControl;
13: import org.eclipse.swt.widgets.Shell;
14:
15: public class PDEDefaultInformationControl extends
16: DefaultInformationControl {
17:
18: private boolean fDisposed = false;
19:
20: public PDEDefaultInformationControl(Shell parent, int style,
21: IInformationPresenter presenter, String statusFieldText) {
22: super (parent, style, presenter, statusFieldText);
23: }
24:
25: /*
26: * @see IInformationControl#dispose()
27: */
28: public void dispose() {
29: fDisposed = true;
30: super .dispose();
31: }
32:
33: public boolean isDisposed() {
34: return fDisposed;
35: }
36:
37: }
|