> 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? Bo
