GNOME Bugzilla – Bug 712331
remove scrollbar visible when needed option
Last modified: 2013-11-14 20:11:16 UTC
It is not implemented, and implementing it is not easy.