User Defined Icons and Unicode

Hi, Unicode characters are not displaying correctly in the icon drop-down menus. The Unicode character is printed correctly in the TeXmacs editing window when selected. I don’t think this is a bug, the two character printing use two different rendering engines; the symbol function simply does not take account this case.

Screenshot_20260626_102402bis

If you want to test:

(menu-bind unicode-Latin-Extended-A
  (symbol "<#100>") (symbol "<#101>")
  (symbol "<#102>") (symbol "<#103>")
  (symbol "<#104>") (symbol "<#105>")
  (symbol "<#106>") (symbol "<#107>"))

(menu-bind texmacs-extra-icons
  (=> (balloon (icon "dev.xpm") "Latin Extended-A")
      (tile 2 (link unicode-Latin-Extended-A))))