Hello *,After installing 1.0.7.18, I've noticed that all Russian-language menu items are not capitalized. In English, they start from capital letters; I think that in earlier versions this was also the case for Russian. What's the reason of this change?
Andrey _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev