[ jEdit-devel ] Auto-resizing of splitted textareas

[<cpr...@co...>]

Hi all !

I recently made a change to jEdit which might be interesting for others to:

In a splitted view,  I always had the problem of manually resizing the 
textarea i was currently working in.
The change i made was to automatically resize (i.e. make larger) the 
current textarea when it receives the focus.
I've been working with this change and find itvery convenient.

It also works pretty nice with multiple splits.

So please have a look at it and tell me what you think.

Best greetings,
Christian.