Re: New note inset

[John Levon]

On Thu, Jul 17, 2003 at 02:17:05PM +0200, Michael Schmitt wrote:

> Can we rename "note" to "annotation" in the "insert" menu? There's a 

Possibly. What do others think ?

regards
john