Branch: refs/heads/master Home: https://github.com/jbosstools/jbosstools-forge Commit: 114ee5ff524ad89b411e9860a3320a53b93f3429 https://github.com/jbosstools/jbosstools-forge/commit/114ee5ff524ad89b411... Author: Koen Aers <koen.aers(a)gmail.com&gt; Date: 2015-06-03 (Wed, 03 Jun 2015) Changed paths: M plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/internal/document/DocumentImpl.java M plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/internal/util/FontManager.java A plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/internal/util/StyleRangeHelper.java M plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/internal/viewer/TextWidget.java Log Message: ----------- JBIDE-19796: Forge editor changes are not applied after changing font preferences