jEdit Community - Resources for users of the jEdit Text Editor
macro/plugin to open/close docked panels (via keyboard) ?
Submitted by paulflory on Tuesday, 3 May, 2005 - 15:31
Anyone know of a way to assign shortcut keys to open/closing of docked panels?

I'd like to be able to open/close the File system browser (dock) with the stroke of a key, rather than mouse.

Possible with a macro or plugin, other ?

Thanks,
Paul
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
Macros > Interface > Toggle {
by Anonymous on Tue, 03/05/2005 - 18:36
Macros > Interface > Toggle {Bottom,Left,Right,Top} Docking Area.

The last displayed dockable will be displayed, so the first time you toggle you may get a random dockable, vs the one you want.

-Ollie
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
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
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300