From: Jonathan C. <jca...@is...> - 2000-10-31 14:30:52
|
I love the docking feature. Right now I have Clipper, Console, ErrorList, and JBrowse docked on the right. One annoyance is that when I resize the right docking area and then change to a different tab in that area the original docking area size is not always respected. In fact, after I click on all the tabs several times the docking area ends up being so small that I can't read anything. Has this been mentioned before or noticed by anyone else? Jonathan Carlson, Software Developer jca...@is... Such ever was loves way: to rise, it stoops. - Robert Browning |
From: Travis B. - Q D. P. <TravisB@ComparexAfrica.co.za> - 2003-03-03 11:19:57
|
4.1 is fantastic, thanks for all the hard work. I would like to ask about the furture plans and find out one thing. Is thier any chance that the next jEdit version may include docing to the middle panel? I would like to see this personally. Travis |
From: Matthew H. <mat...@wa...> - 2003-05-06 19:04:11
|
In 4.1pre1, I'm not seeing the Docking section in the Global Options dialog. Am I the only one? =20 Matthew D. Hailstone =09 Programming Department =09 W A T E R F O R D =20 =20I N S T I T U T E (801) 576-4965 mat...@wa... =20 ************************************* This e-mail may contain privileged or confidential material intended for = the named recipient only. If you are not the named recipient, delete this message and all = attachments. Unauthorized reviewing, copying, printing, disclosing, or otherwise using = information in this e-mail is prohibited. We reserve the right to monitor e-mail sent through our network.=20 ************************************* |
From: Ollie R. <ol...@ru...> - 2003-05-06 19:13:40
|
Matthew Hailstone wrote: > In 4.1pre1, I'm not seeing the Docking section in the Global Options > dialog. Am I the only one? No, it doesn't exist any more. from "CHANGES.txt": - Improved window docking. - Floating windows now have a bar across the top with a menu for docking the window. - Right-clicking on a docked window button shows a menu for undocking the window, opening a cloned instance, and moving it to another docking area. - Docking pane of Global Options dialog box removed because it is no longer necessary. You can find the full list here: http://www.jedit.org/CHANGES42.txt or in "doc\CHANGES.txt". -Ollie |
From: Randall R S. <rs...@so...> - 2003-05-06 19:25:17
|
Matthew, Ollie, Do I correctly understand that it is actually 4.2pre1 (not 4.1pre1) that you're talking about? My 4.1final certainly has the "Docking" section of the global options dialog. Randall Schulz At 12:13 2003-05-06, Ollie Rutherfurd wrote: >Matthew Hailstone wrote: >>In 4.1pre1, I'm not seeing the Docking section in the Global Options >>dialog. Am I the only one? > >No, it doesn't exist any more. > >from "CHANGES.txt": > >- Improved window docking. > > - Floating windows now have a bar across the top with a menu for > docking the window. > > - Right-clicking on a docked window button shows a menu for undocking > the window, opening a cloned instance, and moving it to another > docking area. > > - Docking pane of Global Options dialog box removed because it is no > longer necessary. > >You can find the full list here: http://www.jedit.org/CHANGES42.txt or >in "doc\CHANGES.txt". > >-Ollie |
From: Ollie R. <ol...@ru...> - 2003-05-06 19:49:38
|
Randall R Schulz wrote: > Matthew, Ollie, > > Do I correctly understand that it is actually 4.2pre1 (not 4.1pre1) that > you're talking about? Oops, I'd read "4.1pre1" as 4.2pre1. So that's what I'd thought we were talking about ;-). -Ollie [snipped] |
From: Manfred U. <Uss...@ic...> - 2000-10-31 20:55:39
|
On Tue, 31 Oct 2000 08:31:06 -0600, Jonathan Carlson wrote: >I love the docking feature. Right now I have Clipper, Console, >ErrorList, and JBrowse docked on the right. > >One annoyance is that when I resize the right docking area and then >change to a different tab in that area the original docking area size >is not always respected. In fact, after I click on all the tabs >several times the docking area ends up being so small that I can't read >anything. > >Has this been mentioned before or noticed by anyone else? I never noticed that before. I have some plugins docked at the left side: XInsert, JBrowse, FileBrowser and BufferList. About every second time when I click on the tab of the BufferList the docked area get a little bit larger... Manfred -- ________________________________________________________________________ Manfred Usselmann uss...@ic... |
From: Slava P. <sp...@gj...> - 2000-11-01 06:08:36
|
I can't reproduce (and hence fix) this bug. Slava Jonathan Carlson wrote: > > I love the docking feature. Right now I have Clipper, Console, ErrorList, > and JBrowse docked on the right. > > One annoyance is that when I resize the right docking area and then change > to a different tab in that area the original docking area size is not always > respected. In fact, after I click on all the tabs several times the docking > area ends up being so small that I can't read anything. > > Has this been mentioned before or noticed by anyone else? > > Jonathan Carlson, Software Developer > jca...@is... > > Such ever was loves way: to rise, it stoops. > - Robert Browning > > > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > http://lists.sourceforge.net/mailman/listinfo/jedit-users |
From: Todd P. <to...@da...> - 2000-11-01 19:11:16
|
I can confirm this bug in linux with 2.6pre9 and the ibm 1.3 jdk. I needed to click about 9+ times each time before it shrunk. Todd -- Todd Papaioannou @ Earth http://www.luckyspin.org Luckyspin @ TerraFirmA http://terrafirma.terra.mud.org Why search for life when you can create it? http://www.dalilab.com . . . . . . . . . . . |