File: Toggle_Bottom_Docking_Area.bsh

package info (click to toggle)
jedit 5.3.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,252 kB
  • ctags: 11,190
  • sloc: java: 98,480; xml: 94,070; makefile: 52; sh: 42; cpp: 6; python: 6
file content (44 lines) | stat: -rw-r--r-- 1,034 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
/*
 * Toggle_Bottom_Docking_Area.bsh - a BeanShell macro for the 
 * jEdit text editor - Expands or collapses the bottom docking
 * area, depending on it's current state.
 *
 * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
 *
 * $Id: Toggle_Bottom_Docking_Area.bsh 4906 2003-10-26 20:57:28Z spestov $
 */

toggleBottomDockingArea()
{
	dockarea = view.getDockableWindowManager().getBottomDockingArea();
	if(dockarea.getCurrent() == null)
	{
		dockarea.showMostRecent();
		name = dockarea.getCurrent();
		component = view.getDockableWindowManager().getDockable(name);
		if(component instanceof DefaultFocusComponent)
			component.focusOnDefaultComponent();
	}
	else
	{
		dockarea.show(null);
		view.getTextArea().requestFocus();
	}
}

toggleBottomDockingArea();

/*

	Macro index data (in DocBook format)

<listitem>
	<para><filename>Toggle_Bottom_Docking_Area.bsh</filename></para>
	<abstract><para>
		Expands or collapses the bottom docking area, 
		depending on it's current state.
	</para></abstract>
</listitem>

*/