<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/4.6.6">
</HEAD>
<BODY>
I just found the related bug report from earlier last year:<BR>
<BR>
<A HREF="https://bugzilla.gnome.org/show_bug.cgi?id=693459">https://bugzilla.gnome.org/show_bug.cgi?id=693459</A><BR>
<BR>
The issue seems related to avoiding horizontal scrollbar at all costs ---which probably means it won't be fixed, since GNOME developers know best (!). <BR>
<BR>
</BODY>
</HTML>