[ jEdit-users ] Resizable sidebar

[<ar...@co...>]

For me, it seems not to be clicking alone that does it necessarily, but 
if you click and hold the mouse button on a tab, and then move your 
mouse, the sidebar will resize as you drag.  My guess is that by clicking 
repeatedly you are managing to slightly drag pixel by pixel.

Aaron

> From: "Manfred Usselmann" <Uss...@ic...>
> Date: Thu, 02 Nov 2000 01:47:21 +0100 (MEZ)
> Subject: RE: [ jEdit-users ] Docking
> 
> Wenn the docking area is on the left side, it becomes larger and not 
> smaller. But I wouldn't have noticed it if you would not have mentioned 
> it. And one has to click really quite often.
> Manfred
>