|
Lines 12-19
Link Here
|
| 12 |
|
12 |
|
| 13 |
package org.eclipse.tptp.platform.llc.ui.internal.preferences; |
13 |
package org.eclipse.tptp.platform.llc.ui.internal.preferences; |
| 14 |
|
14 |
|
|
|
15 |
import org.eclipse.jface.dialogs.Dialog; |
| 15 |
import org.eclipse.jface.dialogs.IDialogConstants; |
16 |
import org.eclipse.jface.dialogs.IDialogConstants; |
| 16 |
import org.eclipse.jface.preference.*; |
17 |
import org.eclipse.jface.preference.BooleanFieldEditor; |
|
|
18 |
import org.eclipse.jface.preference.FieldEditorPreferencePage; |
| 17 |
import org.eclipse.swt.SWT; |
19 |
import org.eclipse.swt.SWT; |
| 18 |
import org.eclipse.swt.events.MouseEvent; |
20 |
import org.eclipse.swt.events.MouseEvent; |
| 19 |
import org.eclipse.swt.events.MouseListener; |
21 |
import org.eclipse.swt.events.MouseListener; |
|
Lines 21-32
Link Here
|
| 21 |
import org.eclipse.swt.layout.GridLayout; |
23 |
import org.eclipse.swt.layout.GridLayout; |
| 22 |
import org.eclipse.swt.widgets.Button; |
24 |
import org.eclipse.swt.widgets.Button; |
| 23 |
import org.eclipse.swt.widgets.Composite; |
25 |
import org.eclipse.swt.widgets.Composite; |
|
|
26 |
import org.eclipse.swt.widgets.Control; |
| 24 |
import org.eclipse.swt.widgets.Group; |
27 |
import org.eclipse.swt.widgets.Group; |
| 25 |
import org.eclipse.tptp.platform.llc.ui.internal.ContextIds; |
28 |
import org.eclipse.tptp.platform.llc.ui.internal.ContextIds; |
| 26 |
import org.eclipse.tptp.platform.llc.ui.internal.CoverageUIPlugin; |
29 |
import org.eclipse.tptp.platform.llc.ui.internal.CoverageUIPlugin; |
| 27 |
import org.eclipse.tptp.platform.llc.ui.internal.CoverageUtil; |
30 |
import org.eclipse.tptp.platform.llc.ui.internal.CoverageUtil; |
| 28 |
import org.eclipse.ui.IWorkbenchPreferencePage; |
|
|
| 29 |
import org.eclipse.ui.IWorkbench; |
31 |
import org.eclipse.ui.IWorkbench; |
|
|
32 |
import org.eclipse.ui.IWorkbenchPreferencePage; |
| 30 |
import org.eclipse.ui.PlatformUI; |
33 |
import org.eclipse.ui.PlatformUI; |
| 31 |
|
34 |
|
| 32 |
/** |
35 |
/** |
|
Lines 133-136
Link Here
|
| 133 |
public void init(IWorkbench workbench) { |
136 |
public void init(IWorkbench workbench) { |
| 134 |
} |
137 |
} |
| 135 |
|
138 |
|
|
|
139 |
protected Control createContents(Composite parent) { |
| 140 |
|
| 141 |
Control composite = super.createContents( parent ); |
| 142 |
Dialog.applyDialogFont( composite ); |
| 143 |
|
| 144 |
return composite; |
| 145 |
} |
| 146 |
|
| 136 |
} |
147 |
} |