Re: [PATCH] resource name redraw fix

On Fri, 2007-07-27 at 21:27 +0200, Maurice van der Pot wrote:
> On Wed, Jul 25, 2007 at 08:52:40PM +0200, Maurice van der Pot wrote:
> > Kurt, can you check if this doesn't make things worse for you? You
> seem
> > to have determined the old value empirically.

I didn't write this particular piece of code, but yes, it appears so.

> The only difference is that on Windows there is more space above the
> text than there is below it. This may be just how text is rendered on
> Windows, I don't know. I don't think that it's worth investigating, do
> you?

No, the code looks solid, so I don't think its worth the exercise to
make it perfect - not for an extra pixel anyway.

I committed this just now.

thanks!

-- 
Kurt Maute <[email protected]>