[WARNING] This document format requires a nonempty <title> element.
Please specify either 'title' or 'pagetitle' in the metadata.
Falling back to 'Untitled'
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<meta name="generator" content="pandoc" />
<title>Untitled</title>
<style type="text/css">
code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
div.line-block{white-space: pre-line;}
div.column{display: inline-block; vertical-align: top; width: 50%;}
</style>
</head>
<body>
<p>Hi Romain,</p>
<p>On 2017-11-10 19:08, Romain Vimont wrote:</p>
<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;color:#500050">
<pre><code> Le vendredi 10 novembre 2017 à 17:04 +0100, Filip Roséen a écrit :</code></pre>
<blockquote style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;color:#500050">
<pre><code> I agree with what you write (in terms of behavior), but the relevant
piece of implementation should go through a more robust clean-up than
what you propose</code></pre>
</blockquote>
<pre><code> Do you suggest to completely remove the qtu() macro?</code></pre>
</blockquote>
<p>No, I was referring to the <em>bookmark-keeping</em> when I mentioned <em>“more robust clean-up”</em>, and not only in <code>modules/gui/qt</code></p>
<p>The <code>qtu</code> macro might not be the safest of them all, but given that the only case I can find where it is being used in the wrong way (I just gave a quick skim over every usage) is the issue you brought up, I do not think it is of any major importance to remove it right now.</p>
<p>Would I rest a little easier knowing that <code>qtu</code> was replaced by a safer alternative? Surely. However, do I also feel that it should be on the priority list at the current time? No.</p>
<p>Best Regards,<br />
Filip</p>
</body>
</html>