/* * 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 * * $Id: Toggle_Right_Docking_Area.bsh 57 2003-11-03 21:35:03Z oliver $ */ 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) Toggle_Right_Docking_Area.bsh Expands or collapses the tight docking area, depending on it's current state. */