As we have more than thousend public synonyms this tab is absolutely useless without alphabetic sort.
Hi Torsten,
I have created an enhancement reqeust for you to sort the synonyms. I will let you know when we can work on it.
Thanks,
Vincent
Works in 6.4.0.1901.