mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 22:52:11 +02:00
Code Issues Wiki Activity

2004-09-14 Alain Magloire

Browse source 
Pr 73831. Tentative fix
	* src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencPage.java
	* src/org/eclipse/cdt/internal/ui/text/util/CColorManager.java
This commit is contained in:
Alain Magloire 2004-09-14 18:49:00 +00:00
parent ebecafa648
commit 2aad3cda65
3 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -1,3 +1,9 @@
2004-09-14 Alain Magloire
Pr 73831. Tentative fix
* src/org/eclipse/cdt/internal/ui/preferences/CEditorPreferencPage.java
* src/org/eclipse/cdt/internal/ui/text/util/CColorManager.java
2004-09-14 Alain Magloire
Define contentTypes for some of the

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

@ -470,8 +470,7 @@ public class CEditorPreferencePage extends PreferencePage implements IWorkbenchP
private Control createPreviewer(Composite parent) {
fCTextTools = new CTextTools(fOverlayStore);
fCTextTools = CUIPlugin.getDefault().getTextTools();
fPreviewViewer = new SourceViewer(parent, null, SWT.V_SCROLL | SWT.H_SCROLL);
fPreviewViewer.configure(new CSourceViewerConfiguration(fCTextTools, null));
fPreviewViewer.getTextWidget().setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/util/CColorManager.java
View file

@ -69,7 +69,7 @@ public class CColorManager implements IColorManager, IColorManagerExtension {
* @see IColorManager#dispose
*/
public void dispose() {
// nothing to dispose
dispose(Display.getCurrent());
}
/*