Branch: refs/heads/master Home: https://github.com/jbosstools/jbosstools-forge Commit: cb77f95347f81a7bd45e7c5f8abeec30d92b0760 https://github.com/jbosstools/jbosstools-forge/commit/cb77f95347f81a7bd45... Author: Koen Aers <koen.aers(a)gmail.com&gt; Date: 2014-02-26 (Wed, 26 Feb 2014) Changed paths: M plugins/org.jboss.tools.aesh.core/src/org/jboss/tools/aesh/core/ansi/SelectGraphicRendition.java M plugins/org.jboss.tools.aesh.core/src/org/jboss/tools/aesh/core/document/AeshDocument.java A plugins/org.jboss.tools.aesh.core/src/org/jboss/tools/aesh/core/document/AeshStyleRange.java R plugins/org.jboss.tools.aesh.core/src/org/jboss/tools/aesh/core/document/StyleRangeProxy.java R plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/AeshStyleRange.java R plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/AeshStyleRangeProxy.java M plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/DelegatingDocument.java A plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/StyleRangeWrapper.java Log Message: ----------- rename of StyleRangeProxy to AeshStyleRange and of AeshStyleRangeProxy to StyleRangeWrapper