From: Slava P. <sp...@gj...> - 2000-12-17 01:29:21
|
The tooltip only appears if you move the mouse, and disappears after a certain delay, so it won't interfere with most editing. Slava Brill Pappin wrote: > > 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 > > ---------------------------------------------------------------------------- > ---- > > -- > ----------------------------------------------- > jEdit Developers' List > jEd...@li... > http://lists.sourceforge.net/mailman/listinfo/jedit-devel |