Subject: bug#403: 23.0.60; two bugs with internal-border-width

From: Lars Magne Ingebrigtsen <[email-masked]>
Date: Sun, 11 Sep 2011 07:31:59 +0200

Chong Yidong <[email-masked]> writes:

> This seems to have been fixed in the meantime.  At least, it DTRT on my
> machine (x86_64-unknown-linux-gnu, GTK+ Version 2.12.9).  Do you still
> see this problem?

More information was requested three years ago, so I'm closing this
bug.  If this is still a problem, please reopen the report.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/