125126127128129130131
/** * @return the text hover to be used in the console. */ @Override protected ITextHover createHover() { return new DefaultScriptConsoleTextHover(this.interpreter); }
112113114115116117118