>  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.

Bert
>
>  Tony
-- 
NEdit Develop mailing list - [email protected]
http://www.nedit.org/mailman/listinfo/develop

Reply via email to