Java 类org.eclipse.ui.internal.console.ConsoleView 实例源码

项目:dLabPro-Plugin    文件:AbstractConsoleViewActionDelegate.java   
public void propertyChanged(Object source, int propId)
{
  if (source instanceof ConsoleView)
    try
    {
      ConsoleView iCv = (ConsoleView)source;
      ProcessConsole iPc = (ProcessConsole)iCv.getConsole();
      if (iPc!=null)
        m_iProc = iPc.getProcess();
      else
        m_iProc = null;
      update();
    }
    catch (ClassCastException e1)
    {
    }
    catch (Exception e)
    {
      DdUtils.EXCEPTION(e);
    }
}
项目:n4js    文件:GHOLD_45_CheckIgnoreAnnotationAtClassLevel_PluginUITest.java   
private String getConsoleContent() {
    waitForIdleState();
    final IViewPart viewPart = showView(CONSOLE_VIEW_ID);
    final ConsoleView consoleView = assertInstanceOf(viewPart, ConsoleView.class);
    final IConsole console = consoleView.getConsole();
    // Can be null, if nothing was logged to the console yet. Such cases return with empty string instead.
    if (console == null) {
        return "";
    }
    final ProcessConsole processConsole = assertInstanceOf(console, ProcessConsole.class);
    return processConsole.getDocument().get();
}
项目:Hydrograph    文件:ConsoleLogger.java   
/**
 * Find console using name if exist or create new.
 *
 * @param name            the console name
 * @return console
 */
private void initConsoleStream() {
    MessageConsole messageConsole = getMessageConsole();
    messageConsole.clearConsole();
    messageConsoleStream=messageConsole.newMessageStream();
    logger.debug("Created message console stream");
    messageConsoleStream.getConsole().addPropertyChangeListener(new IPropertyChangeListener() {
        @Override
        public void propertyChange(PropertyChangeEvent event) {
            ((ConsoleView)event.getSource()).setScrollLock(true);
        }
    });

}
项目:APICloud-Studio    文件:InvasiveThemeHijacker.java   
protected void hijackConsole(IViewPart view)
{
    if (view instanceof ConsoleView)
    {
        IPage currentPage = ((ConsoleView) view).getCurrentPage();
        if (currentPage != null)
        {
            hookTheme(currentPage.getControl(), false);
        }
    }
}