[jbosstools-commits] JBoss Tools SVN: r42539 - in branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui: src/org/jboss/tools/forge/ui/console and 1 other directory.
Author: koen.aers(a)jboss.com
Date: 2012-07-12 09:38:19 -0400 (Thu, 12 Jul 2012)
New Revision: 42539
Modified:
branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/plugin.xml
branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java
Log:
JBIDE-12223: Forge should use the console font + listen to font changes
Modified: branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/plugin.xml
===================================================================
--- branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/plugin.xml 2012-07-12
13:36:36 UTC (rev 42538)
+++ branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/plugin.xml 2012-07-12
13:38:19 UTC (rev 42539)
@@ -191,4 +191,17 @@
class="org.jboss.tools.forge.ui.startup.ForgeStarter">
</startup>
</extension>
+ <extension
+ point="org.eclipse.ui.themes">
+ <fontDefinition
+ categoryId="org.jboss.tools.forge.ui"
+ defaultsTo="org.eclipse.debug.ui.consoleFont"
+ id="org.jboss.tools.forge.console.font"
+ label="Forge Console Font">
+ </fontDefinition>
+ <themeElementCategory
+ id="org.jboss.tools.forge.ui"
+ label="Forge ">
+ </themeElementCategory>
+ </extension>
</plugin>
Modified:
branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java
===================================================================
---
branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java 2012-07-12
13:36:36 UTC (rev 42538)
+++
branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java 2012-07-12
13:38:19 UTC (rev 42539)
@@ -4,6 +4,8 @@
import org.eclipse.jface.text.DocumentEvent;
import org.eclipse.jface.text.IDocumentListener;
import org.eclipse.jface.text.TextViewer;
+import org.eclipse.jface.util.IPropertyChangeListener;
+import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.ST;
import org.eclipse.swt.custom.StyleRange;
@@ -28,6 +30,8 @@
private static String NEXT_HISTORY = new Character((char)14).toString();
private static String DELETE_NEXT_CHAR = new Character((char)127).toString();
+ private static final String FORGE_CONSOLE_FONT =
"org.jboss.tools.forge.console.font";
+
private class DocumentListener implements IDocumentListener,
ForgeDocument.CursorListener {
@Override
public void documentAboutToBeChanged(DocumentEvent event) {
@@ -63,7 +67,19 @@
private void initialize() {
initDocument();
initViewer();
+ initFontListener();
}
+
+ private void initFontListener() {
+ JFaceResources.getFontRegistry().addListener(new IPropertyChangeListener() {
+ @Override
+ public void propertyChange(PropertyChangeEvent event) {
+ if (FORGE_CONSOLE_FONT.equals(event.getProperty())) {
+ getTextWidget().setFont(JFaceResources.getFont(FORGE_CONSOLE_FONT));
+ }
+ }
+ });
+ }
private void initDocument() {
ForgeDocument.INSTANCE.addDocumentListener(documentListener);
@@ -73,7 +89,7 @@
private void initViewer() {
getTextWidget().setStyleRanges(ForgeDocument.INSTANCE.getStyleRanges());
- getTextWidget().setFont(JFaceResources.getFont(JFaceResources.TEXT_FONT));
+ getTextWidget().setFont(JFaceResources.getFont(FORGE_CONSOLE_FONT));
getTextWidget().addVerifyKeyListener(new VerifyKeyListener() {
@Override
public void verifyKey(VerifyEvent event) {