mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-09 01:05:38 +02:00
Code Issues Wiki Activity

Fix for bug 147672 - Homogeneous UI in Preferences

Browse source 
Added borders to list and preview controls on Syntax page
This commit is contained in:
Anton Leherbauer 2006-07-21 09:56:57 +00:00
parent 47f54464d3
commit ae1d99ca4b
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencePage.java
View file

@ -223,7 +223,7 @@ public class CEditorPreferencePage extends AbstractPreferencePage implements IWo
GridData gd = new GridData(GridData.FILL_BOTH); GridData gd = new GridData(GridData.FILL_BOTH);
editorComposite.setLayoutData(gd); 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 = new GridData(GridData.FILL_BOTH);
gd.heightHint = convertHeightInCharsToPixels(5); gd.heightHint = convertHeightInCharsToPixels(5);
fList.setLayoutData(gd); fList.setLayoutData(gd);
@ -306,8 +306,7 @@ public class CEditorPreferencePage extends AbstractPreferencePage implements IWo
fCTextTools = CUIPlugin.getDefault().getTextTools(); fCTextTools = CUIPlugin.getDefault().getTextTools();
CSourceViewerConfiguration configuration = new CSourceViewerConfiguration(fCTextTools, null); 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 | SWT.BORDER);
fPreviewViewer = new PreviewSourceViewer(parent, SWT.V_SCROLL | SWT.H_SCROLL);
fPreviewViewer.setPreferenceStore(CUIPlugin.getDefault().getCombinedPreferenceStore()); fPreviewViewer.setPreferenceStore(CUIPlugin.getDefault().getCombinedPreferenceStore());
fPreviewViewer.configure(configuration); fPreviewViewer.configure(configuration);
fPreviewViewer.getTextWidget().setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT)); fPreviewViewer.getTextWidget().setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));