> > if there are no objections i propose the following patch. > > ([[menu]] is added since there is no menu shortcut to distinguish > > it from other occurences and in other langueages there is possibility > > to add correct shortcut.) > > I do not know how this [[menu]] thing will work. Is this a gettext or > lyx feature? Could you elaborate?
afaik thats lyx feature (src/Messages.cpp:131). pavel
