Branch: refs/heads/master Home: https://github.com/forge/jbosstools-forge Commit: cdc17114e41dcdf9ea4c3cfcf59aa6eda3bad152 https://github.com/forge/jbosstools-forge/commit/cdc17114e41dcdf9ea4c3cfc... Author: Koen Aers <koen.aers(a)gmail.com&gt; Date: 2013-12-17 (Tue, 17 Dec 2013) Changed paths: M plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/AeshDocument.java A plugins/org.jboss.tools.aesh.ui/src/org/jboss/tools/aesh/ui/document/AeshDocumentProxy.java Log Message: ----------- extract AeshDocumentProxy