RE: [ jEdit-devel ] [Bug #116139] Keystroke for minimizing/restoring docked area

[Todd P. <to...@da...>]

> if this is difficult to implement, which i don't think it is, then don't
> worry about it; maybe i'll hack at it myself. my point is that it's a pain
> to try to double click that thin 4 pixel area to get your docked area to
> open up, when it's so close to the edge of the window (in it's closed
> state). when i was using PluginHolder, it was nice to be able to hit Ctrl+Q
> to open up my docked QuickFile with my left hand while moving the mouse over
> with my right. my point being that i think it's *alot* quicker (and others
> do too), and if it's not hard to do, then why limit the flexibility of
> jEdit? everyone's working style is different, and i think jEdit really
> accomodates for this, so why not keep it that way?

Absolutely, this is the one thing that I REALLY miss from PluginHolder =(
I would also wish to be able to open/close my bottom docked area, which
shows Console and Errorlist, when I've finished with them. (Ditto for
all docked panels of course)

> my .02

Add mine, and we get to .04 ;)

Todd

-- 
 Todd Papaioannou @ Earth  http://www.luckyspin.org
 Luckyspin @ TerraFirmA   http://terrafirma.terra.mud.org
.         .        .       .      .     .    .   .  .  . .