diff options
| author | Anton Leherbauer | 2006-07-21 09:56:57 +0000 |
|---|---|---|
| committer | Anton Leherbauer | 2006-07-21 09:56:57 +0000 |
| commit | ae1d99ca4b6749e62a83648ba2e284f770b3ea41 (patch) | |
| tree | 64565b53fafaa139e43c60e4c51d59f8bf3a8eca /core/org.eclipse.cdt.ui | |
| parent | 47f54464d3fc1dbc16d2ef7c40a50212f4aa7fbc (diff) | |
| download | org.eclipse.cdt-ae1d99ca4b6749e62a83648ba2e284f770b3ea41.tar.gz org.eclipse.cdt-ae1d99ca4b6749e62a83648ba2e284f770b3ea41.tar.xz org.eclipse.cdt-ae1d99ca4b6749e62a83648ba2e284f770b3ea41.zip | |
Fix for bug 147672 - Homogeneous UI in Preferences
Added borders to list and preview controls on Syntax page
Diffstat (limited to 'core/org.eclipse.cdt.ui')
| -rw-r--r-- | core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java index a946b131191..019f068a6a4 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java @@ -223,7 +223,7 @@ public class CEditorPreferencePage extends AbstractPreferencePage implements IWo GridData gd = new GridData(GridData.FILL_BOTH); editorComposite.setLayoutData(gd); - fList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL); + fList = new List(editorComposite, SWT.SINGLE | SWT.V_SCROLL | SWT.BORDER); gd = new GridData(GridData.FILL_BOTH); gd.heightHint = convertHeightInCharsToPixels(5); fList.setLayoutData(gd); @@ -306,8 +306,7 @@ public class CEditorPreferencePage extends AbstractPreferencePage implements IWo fCTextTools = CUIPlugin.getDefault().getTextTools(); CSourceViewerConfiguration configuration = new CSourceViewerConfiguration(fCTextTools, null); - //fPreviewViewer = new SourceViewer(parent, null, SWT.V_SCROLL | SWT.H_SCROLL); - fPreviewViewer = new PreviewSourceViewer(parent, SWT.V_SCROLL | SWT.H_SCROLL); + fPreviewViewer = new PreviewSourceViewer(parent, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER); fPreviewViewer.setPreferenceStore(CUIPlugin.getDefault().getCombinedPreferenceStore()); fPreviewViewer.configure(configuration); fPreviewViewer.getTextWidget().setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT)); |