mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

> In order to prevent GUI textual items (typically menu items)
> from being translated, you should encapsulate them inside
> a 'verbatim' tag; see (tm-menu (buffer-list-menu ...) ...)
> in file-menu.scm.
>
> Best wishes, --Joris


Dear all,

after this suggestion from Joris, the updated version of the widget for 
listing labels is at 
http://forum.texmacs.cn/t/how-can-i-see-list-of-labels/335/83

Giovanni