Examples of IConsoleManager


Examples of org.eclipse.ui.console.IConsoleManager

        PrintStream internalStream = outputConsole.internal;
        // PrintStream outputStream = outputConsole.out;
        PrintStream errorStream = outputConsole.err;
        // open console
        IConsoleManager manager = org.eclipse.ui.console.ConsolePlugin.getDefault().getConsoleManager();
        manager.addConsoles(new IConsole[]{outputConsole});
        manager.showConsoleView(outputConsole);

        try {
            OmsScriptExecutor executor = new OmsScriptExecutor();
            executor.addProcessListener(new IProcessListener(){
                public void onProcessStopped() {
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

        PrintStream internalStream = outputConsole.internal;
        // PrintStream outputStream = outputConsole.out;
        PrintStream errorStream = outputConsole.err;
        // open console
        IConsoleManager manager = org.eclipse.ui.console.ConsolePlugin.getDefault().getConsoleManager();
        manager.addConsoles(new IConsole[]{outputConsole});
        manager.showConsoleView(outputConsole);

        try {
            OmsScriptExecutor executor = new OmsScriptExecutor();
            executor.addProcessListener(this);
            String loggerLevelGui = OmsBoxPlugin.getDefault().retrieveSavedLogLevel();
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

        PrintStream internalStream = outputConsole.internal;
        // PrintStream outputStream = outputConsole.out;
        PrintStream errorStream = outputConsole.err;
        // open console
        IConsoleManager manager = org.eclipse.ui.console.ConsolePlugin.getDefault().getConsoleManager();
        manager.addConsoles(new IConsole[]{outputConsole});
        manager.showConsoleView(outputConsole);

        try {
            final String scriptID = "geoscript_" + dateTimeString;
            OmsScriptExecutor executor = new OmsScriptExecutor();
            String loggerLevelGui = OmsBoxPlugin.getDefault().retrieveSavedLogLevel();
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

        }

    }

    public static FindBugsConsole showConsole() {
        IConsoleManager manager = ConsolePlugin.getDefault().getConsoleManager();
        boolean exists = false;
        if (console != null) {
            IConsole[] existing = manager.getConsoles();
            for (int i = 0; i < existing.length; i++) {
                if (console == existing[i]) {
                    exists = true;
                }
            }
        } else {
            console = new FindBugsConsole("FindBugs", null, true);
        }
        if (!exists) {
            manager.addConsoles(new IConsole[] { console });
        }
        ITheme theme = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme();
        theme.addPropertyChangeListener(console);
        console.setConsoleFont();
        manager.showConsoleView(console);
        return console;
    }
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

                    .getImageDescriptor(ISharedImages.IMG_TOOL_DELETE));
        }

        @Override
        public void run() {
            IConsoleManager manager = ConsolePlugin.getDefault().getConsoleManager();
            if (console != null) {
                manager.removeConsoles(new IConsole[] { console });
                console = null;
            }
        }
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

    }
    return new ConsolePrinter(console);
  }

  private static MessageConsole findConsole() {
    IConsoleManager consoleManager = ConsolePlugin.getDefault().getConsoleManager();
    for (IConsole console : consoleManager.getConsoles()) {
      if (CONSOLE_NAME.equals(console.getName()) && console instanceof MessageConsole) {
        return (MessageConsole) console;
      }
    }
    MessageConsole console = new MessageConsole(CONSOLE_NAME, null);
    consoleManager.addConsoles(new IConsole[] { console });
    return console;
  }
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

        null, lm.generateUniqueLaunchConfigurationNameFrom(state.getName()));

    state.setAttributes(wc);
    ILaunchConfiguration config = wc.doSave();
 
    IConsoleManager manager = ConsolePlugin.getDefault().getConsoleManager();
    final TextConsole[] console=new TextConsole[1];       
    manager.addConsoleListener(new IConsoleListener(){
      public void consolesAdded(IConsole[] consoles) {
         console[0]=((TextConsole)consoles[0]);
         console[0].activate();
      }
      public void consolesRemoved(IConsole[] consoles) {
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

        EclipsePlugin.getStandardDisplay().syncExec(
                new OutputMessageThread(message, color));
    }

    public void register() {
        IConsoleManager manager = ConsolePlugin.getDefault()
                .getConsoleManager();
        IConsole[] existing = manager.getConsoles();
        boolean exists = false;

        for (int i = 0; i < existing.length; i++) {
            if (existing[i] == this) {
                exists = true;
                break;
            }
        }

        if (!exists) {
            manager.addConsoles(new IConsole[] { this });
        }
    }
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

            manager.addConsoles(new IConsole[] { this });
        }
    }

    public void show() {
        IConsoleManager manager = ConsolePlugin.getDefault()
                .getConsoleManager();
        manager.showConsoleView(this);
    }
View Full Code Here

Examples of org.eclipse.ui.console.IConsoleManager

                .getConsoleManager();
        manager.showConsoleView(this);
    }

    public void unregister() {
        IConsoleManager manager = ConsolePlugin.getDefault()
                .getConsoleManager();
        manager.removeConsoles(new IConsole[] { this });
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.