PageRenderTime 32ms CodeModel.GetById 0ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/macros/Interface/Toggle_Top_Docking_Area.bsh

#
Unknown | 36 lines | 29 code | 7 blank | 0 comment | 0 complexity | afec18609c615a6a7f09417cb303f311 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. /*
  2. * Toggle_Top_Docking_Area.bsh - a BeanShell macro for the
  3. * jEdit text editor - Expands or collapses the top docking
  4. * area, depending on it's current state.
  5. *
  6. * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
  7. *
  8. * $Id: Toggle_Top_Docking_Area.bsh 4906 2003-10-26 20:57:28Z spestov $
  9. */
  10. toggleTopDockingArea()
  11. {
  12. dockarea = view.getDockableWindowManager().getTopDockingArea();
  13. if(dockarea.getCurrent() == null)
  14. dockarea.showMostRecent();
  15. else
  16. dockarea.show(null);
  17. view.getTextArea().requestFocus();
  18. }
  19. toggleTopDockingArea();
  20. /*
  21. Macro index data (in DocBook format)
  22. <listitem>
  23. <para><filename>Toggle_Top_Docking_Area.bsh</filename></para>
  24. <abstract><para>
  25. Expands or collapses the top docking area,
  26. depending on it's current state.
  27. </para></abstract>
  28. </listitem>
  29. */