Charles, could you please also replace the three single dots '...' by the unicode symbol U+2026 (…).
I think (actually, I hope) we do that in all menus.
Charles, could you please also replace the three single dots '...' by the unicode symbol U+2026 (…).
I think (actually, I hope) we do that in all menus.