Thank you for reporting this bug to Ubuntu. Ubuntu 13.10 reached End of Life in 2015. I apologize that we are not always able to respond to bug reports quickly. See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases Please upgrade to Ubuntu 16.04 LTS. Do feel free to report any other bugs you may find. ** Changed in: gnome-tweak-tool (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1283395 Title: "Current Theme" setting in gnome-tweak-tool disappeared To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1283395/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
