X-Git-Url: http://git.phpeclipse.com diff --git a/archive/net.sourceforge.phpeclipse.sql/src/net/sourceforge/phpdt/sql/editors/SQLEditor.java b/archive/net.sourceforge.phpeclipse.sql/src/net/sourceforge/phpdt/sql/editors/SQLEditor.java index a7bb715..7f7bf0e 100644 --- a/archive/net.sourceforge.phpeclipse.sql/src/net/sourceforge/phpdt/sql/editors/SQLEditor.java +++ b/archive/net.sourceforge.phpeclipse.sql/src/net/sourceforge/phpdt/sql/editors/SQLEditor.java @@ -1,7 +1,5 @@ package net.sourceforge.phpdt.sql.editors; -import net.sourceforge.phpdt.sql.PHPEclipseSQLPlugin; - import org.eclipse.jface.preference.PreferenceConverter; import org.eclipse.jface.util.IPropertyChangeListener; import org.eclipse.jface.util.PropertyChangeEvent; @@ -13,6 +11,8 @@ import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Display; import org.eclipse.ui.editors.text.TextEditor; +import net.sourceforge.phpdt.sql.PHPEclipseSQLPlugin; + public class SQLEditor extends TextEditor { SQLConfiguration config; private ColorManager colorManager; @@ -32,7 +32,7 @@ public class SQLEditor extends TextEditor { config.initializeColors(); getSourceViewer().invalidateTextPresentation(); StyledText widget = getSourceViewer().getTextWidget(); - FontData font = PreferenceConverter.getFontData(getPreferenceStore(), "quantum.font"); + FontData font = PreferenceConverter.getFontData(getPreferenceStore(), "phpeclipse.sql.font"); //$NON-NLS-1$ widget.setFont(new Font(Display.getCurrent(), font)); Color background = colorManager.getColor(SQLColorConstants.BACKGROUND); widget.setBackground(background); @@ -51,7 +51,7 @@ public class SQLEditor extends TextEditor { public void createPartControl(Composite arg0) { super.createPartControl(arg0); StyledText widget = getSourceViewer().getTextWidget(); - FontData font = PreferenceConverter.getFontData(getPreferenceStore(), "quantum.font"); + FontData font = PreferenceConverter.getFontData(getPreferenceStore(), "phpeclipse.sql.font"); //$NON-NLS-1$ widget.setFont(new Font(Display.getCurrent(), font)); Color background = colorManager.getColor(SQLColorConstants.BACKGROUND); widget.setBackground(background);