jEdit Community - Resources for users of the jEdit Text Editor
change priority of docked windows
Submitted by planckscnst on Monday, 29 January, 2007 - 03:00
I have a couple of docked windows that I like to leave opened most of the time. One is docked to the right, the other to the bottom. Currently, the one on the right takes up the whole right side, and the on on the bottom takes up all the bottom except that which the right has already taken. I would like this to be the other way. I want to give that overlapping corner to the bottom-docked window, not the side one. Is there a way to do this.

I expected it to matter which order I docked them at (or the order which I toggled the fly-out), but it doesn't matter. The right-docked item always takes up that lower-right corner.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
different docking layouts...
by cvicari on Tue, 30/01/2007 - 09:35
I think that going in "global options", then "view", clicking on "Alternate window placement" is what you are looking for... isn't it?
User login
Browse archives
« August 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
31
 
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   93959
Context Free Art (*.cfdg)   0.31   46059
BBEdit scheme   1.0   18597
JBuilder scheme   .001   18499
ColdFusion scheme   1.0   18027
R Edit Mode - extensive version   0.1   17477
Advanced HTML edit mode   1.0   16210
Matlab Edit Mode   1.0   16072
jEdit XP icons   1.0   15232
XP icons for jEdit   1.1   14296