Thank you for reporting this bug to Ubuntu. I apologize that we are not
always to respond to bug reports promptly. Ubuntu 13.10 reached End of
Life in 2014. See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
Please upgrade to Ubuntu 16.04 LTS and re-test.
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-tweak-tool (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1241608
Another effect of the font size is the one you can see in the attached
screenshot. Even without changing font size, the description of some
options are so long they cannot be seen in the dropdown menu. I have no
idea what the marked two are doing (less about in which way they are
different...).
A
