On Tue, Feb 26, 2008 at 10:55 PM, Bert Wesarg <[EMAIL PROTECTED]> wrote: > > I always wanted to know what one could do with a calltip id, other than > > close > > a calltip. Any idea? > Yes, I think you should only kill a calltip that you showed. > I now think that tony is right, there is really no need for the calltip ID, a "is a calltip is shown"-info should be suffice. It would be useful, if we could display multiple calltips at the same time.
I think this wouldn't be much work. Bert -- NEdit Develop mailing list - [email protected] http://www.nedit.org/mailman/listinfo/develop
