Comment 4 for bug 906042

Revision history for this message
Lars Karlitski (larsu) wrote :

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.