/jEdit/tags/jedit-4-3-pre5/macros/Interface/Toggle_Right_Docking_Area.bsh
Unknown | 36 lines | 29 code | 7 blank | 0 comment | 0 complexity | ce415ad7b250772b3afb9483bad43585 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
- /*
- * Toggle_Right_Docking_Area.bsh - a BeanShell macro for the
- * jEdit text editor - Expands or collapses the tight docking
- * area, depending on it's current state.
- *
- * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
- *
- * $Id: Toggle_Right_Docking_Area.bsh 4937 2003-12-22 04:14:55Z spestov $
- */
- toggleRightDockingArea()
- {
- dockarea = view.getDockableWindowManager().getRightDockingArea();
- if(dockarea.getCurrent() == null)
- dockarea.showMostRecent();
- else
- dockarea.show(null);
- view.getTextArea().requestFocus();
- }
- toggleRightDockingArea();
- /*
- Macro index data (in DocBook format)
- <listitem>
- <para><filename>Toggle_Right_Docking_Area.bsh</filename></para>
- <abstract><para>
- Expands or collapses the right docking area,
- depending on it's current state.
- </para></abstract>
- </listitem>
- */