<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 11, 2019 at 9:18 PM Georges Racinet <<a href="mailto:georges.racinet@octobus.net">georges.racinet@octobus.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"># HG changeset patch<br>
# User Georges Racinet <<a href="mailto:georges.racinet@octobus.net" target="_blank">georges.racinet@octobus.net</a>><br>
# Date 1554999007 -7200<br>
#      Thu Apr 11 18:10:07 2019 +0200<br>
# Node ID 44c5e57b870d6ca9e93a5ff289caf3e0c0e90853<br>
# Parent  509a0477b3a6e9f1ea0fe32bfb028c256aada7fa<br>
# EXP-Topic rust-discovery<br>
discovery: stop direct use of attribute of partialdiscovery<br>
<br>
Instead of accessing `undecided` directly for ui display purposes,<br>
we introduce a `stats()` method that could be extended in the future with<br>
more interesting information.<br>
<br>
This is in preparation for a forthcoming Rust version of this object.<br>
Indeed, attributes and furthermore properties are a bit complicated for<br>
classes in native code.<br>
<br>
We could go further and rename `undecided` to mark it private, but `_undecided`<br>
is already taken as support for `_undecided` lazyness.<br></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Queued this, many thanks!</div></div></div>