mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Dear all,

in the enum widget I wrote 
(http://forum.texmacs.cn/t/how-can-i-see-list-of-labels/335/76, and I 
posted it here too) items are translated in the language when I choose 
for the interface. My guess is that this due to the fact that menu items 
are translated (so the title of this post).

I would like that the items in the widget are not translated (as they 
are labels). Is it possible?

Giovanni