PageRenderTime 35ms CodeModel.GetById 8ms RepoModel.GetById 0ms app.codeStats 0ms

/bundles/plugins-trunk/Console/console/bsh/waitForConsole.bsh

#
Unknown | 12 lines | 10 code | 2 blank | 0 comment | 0 complexity | 787b7769673b43b681bf7ebc40abfe05 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. /* Blocks until the current command finishes. */
  2. waitForConsole(View view)
  3. {
  4. import console.Shell;
  5. view.getDockableWindowManager().addDockableWindow("console");
  6. console = view.getDockableWindowManager().getDockable("console");
  7. console.getShell().waitFor(console);
  8. }
  9. help.waitForConsole
  10. = "usage: waitForConsole(View view)";