mailing-list for TeXmacs Users

[Hemza Kheribot <address@hidden>]

Hi,
I'm new user of this amazing piece of Free Software, I notice 2 things
1st: The font size of the main menu and the drop-down menus is not the
same. I use Linux Mint 64 bit.
(see this screen-shot http://pbrd.co/1zbkVkG)

2nd: the biliography (in plain style) is sorte by first euthor's last
name, I do not this behaviour, I want to be sorted by appearance in
text. how to do so?

thank you