<html>
<head>
<base href="https://bugs.webkit.org/" />
</head>
<body>
<p>
<div>
<b><a class="bz_bug_link
bz_status_NEW "
title="NEW - WebKit2 Gtk+ JavaScriptCore bindings doesn't work properly"
href="https://bugs.webkit.org/show_bug.cgi?id=136989#c9">Comment # 9</a>
on <a class="bz_bug_link
bz_status_NEW "
title="NEW - WebKit2 Gtk+ JavaScriptCore bindings doesn't work properly"
href="https://bugs.webkit.org/show_bug.cgi?id=136989">bug 136989</a>
from <span class="vcard"><a class="email" href="mailto:anewtobi@gmail.com" title="anewtobi@gmail.com">anewtobi@gmail.com</a>
</span></b>
<pre><span class="quote">> In that case maybe it would be better to use to_string() since we are
> converting the value to a string in some cases.</span >
I assume you mean .to_string(), because .get_value_to_string() would obviously not make sense. I chose .get_value_as_string(), because it's explicit, but now I think .to_string() is even better (I thought "as" implied conversion, too, but .to_string() is both shorter and more common in APIs, and as you said it implies conversion). +1 for .to_string() I'll change this in the next update to the patch, unless somebody has an even better idea or contrary opinion.</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>