<html>
<head>
<base href="https://bugs.webkit.org/" />
</head>
<body>
<p>
<div>
<b><a class="bz_bug_link
bz_status_NEW "
title="NEW - [GTK] Scrollbar too large"
href="https://bugs.webkit.org/show_bug.cgi?id=161735#c11">Comment # 11</a>
on <a class="bz_bug_link
bz_status_NEW "
title="NEW - [GTK] Scrollbar too large"
href="https://bugs.webkit.org/show_bug.cgi?id=161735">bug 161735</a>
from <span class="vcard"><a class="email" href="mailto:cgarcia@igalia.com" title="Carlos Garcia Campos <cgarcia@igalia.com>"> <span class="fn">Carlos Garcia Campos</span></a>
</span></b>
<pre>(In reply to <a href="show_bug.cgi?id=161735#c10">comment #10</a>)
<span class="quote">> (In reply to <a href="show_bug.cgi?id=161735#c9">comment #9</a>)
> > It's very difficult to match every single theme pixel by pixel. This is the
> > best I can do.
>
> That's okay, I mentioned it only because noticed it. To be honest, I think
> it's more a problem of the theme, not providing proper numbers.</span >
I'm sorry if I sounded rude, it was not my intention.
<span class="quote">> Similar problem can apply for the colors, though it's odd, if you use the
> gtk+ paint functions, where I would expect doing gtk+ the right thing for
> you (unless you'd be dependent on GtkCSSNode, which is not going to be
> publicized).</span >
We use all the GTK+ CSS nodes machinery, but not exactly the same way than GTK+, we would need to write GTK+ inside WebKit to get the same. The buttons color is probably because we are using gtk_render_arrow to render the arrows, instead of using an image CSS node. I'll look at it, but in a different bugs, because it's a different issue.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>