[jbosstools-commits] JBoss Tools SVN: r42569 - branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console.

[jbosstools-commits at lists.jboss.org]

Author: koen.aers at jboss.com
Date: 2012-07-13 06:25:33 -0400 (Fri, 13 Jul 2012)
New Revision: 42569

Modified:
   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
-> remove the listener when the console is disposed

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-13 10:10:51 UTC (rev 42568)
+++ branches/jbosstools-3.3.x/forge/plugins/org.jboss.tools.forge.ui/src/org/jboss/tools/forge/ui/console/ForgeTextViewer.java	2012-07-13 10:25:33 UTC (rev 42569)
@@ -58,6 +58,14 @@
     }
 	
     private DocumentListener documentListener = new DocumentListener();
+    private IPropertyChangeListener fontListener = new IPropertyChangeListener() {		
+		@Override
+		public void propertyChange(PropertyChangeEvent event) {
+			if (FORGE_CONSOLE_FONT.equals(event.getProperty())) {
+				getTextWidget().setFont(JFaceResources.getFont(FORGE_CONSOLE_FONT));
+			}
+		}
+	};
     
     public ForgeTextViewer(Composite parent) {
     	super(parent, SWT.WRAP | SWT.V_SCROLL | SWT.H_SCROLL);
@@ -71,14 +79,7 @@
     }
     
     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));
-				}
-			}
-		});
+    	JFaceResources.getFontRegistry().addListener(fontListener);
     }
         
     private void initDocument() {
@@ -107,6 +108,7 @@
     protected void handleDispose() {
     	ForgeDocument.INSTANCE.removeCursorListener(documentListener);
     	ForgeDocument.INSTANCE.removeDocumentListener(documentListener);
+    	JFaceResources.getFontRegistry().removeListener(fontListener);
     	super.handleDispose();
     }