This is interesting; this bug stopped affecting me when I changed my theme from human to another one with a smaller titlebar, like crux. So, I suggest that the default theme be changed so that the titlebar is about 2-5 pixels smaller.
HTH
This is interesting; this bug stopped affecting me when I changed my theme from human to another one with a smaller titlebar, like crux. So, I suggest that the default theme be changed so that the titlebar is about 2-5 pixels smaller.
HTH