<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Oh, I just change a changeset.</font></p>
<p><font size="4">#usePredebugWindow, what a strange name, not easy
to find, I did not...</font></p>
<p><font size="4">I will let Juan figure out about the preference
name to pick up, #usePredebugWindow or #debugPreDebugger</font></p>
<div class="moz-cite-prefix">Le 16/05/2026 à 10:02, Luciano
Notarfrancesco a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAL5GDyrFm8S-8=v1-Ag3dOsz0UU8wVU+e0oxXEJKbB4jJj=Pdg@mail.gmail.com">
<div dir="auto">That’s the predebug window, we have a preference
#usePredebugWindow but it looks to me we’re not using it
anymore..</div>
</blockquote>
<pre class="moz-signature" cols="72">--
<a class="moz-txt-link-freetext" href="http://mamot.fr/@drgeo">http://mamot.fr/@drgeo</a></pre>
</body>
</html>