protected ConsoleDocument
getConsoleDocument()
Copyright © 2005–2019 Eclipse Foundation. All rights reserved.