Re: [ jEdit-devel ] New plugin I'm developing

[Brill P. <bri...@jm...>]

I might like it... I'd have to try and use it to know for sure...
The one problem I can foresee, is the tooltip getting in the way of viewing
the code and/or not going away when I need it to go away. (you know how they
can be).

What would be good, is if the tip was away from the code in question... just
draw a pointer to it or something, which you should be able to do with a
glass pane.

- Brill Pappin

----- Original Message -----
From: "Slava Pestov" <sp...@gj...>
To: <jed...@so...>
Sent: Saturday, December 16, 2000 1:45 AM
Subject: [ jEdit-devel ] New plugin I'm developing


> Hello everybody,
>
> I've started working on yet another plugin of marginal value -
> check out the attached screenshot.
>
> I'll put it in the CVS if it ever evolves into something useful.
>
> Slava


----------------------------------------------------------------------------
----