<div>
<div class="userEdit" style="font-family: arial, helvetica, sans-serif; font-size: 10pt; color: #000000;">
<div><span style="font-family: arial, helvetica, sans-serif; font-size: 10pt; color: #000000; background-color: #ffffff;">Texmaker does.</span></div>
<div><span style="font-family: arial, helvetica, sans-serif; font-size: 10pt; color: #000000; background-color: #ffffff;"><br></span></div>
</div>
In a message dated 3/10/2018 12:01:36 PM Eastern Standard Time, P.Taylor@Rhul.Ac.Uk writes:
<div><br></div>
<div class="quotedReply">
<blockquote style="padding-left: 5px; margin-left: 5px; border-left: blue 2px solid;">
<div class="aolReplacedBody">
<div class="moz-cite-prefix">Philip Taylor wrote:</div>
<blockquote cite="about:blank">
<div class="moz-cite-prefix">Keith -- As far as I know, no implementation of TeX incorporates "find" or "find and replace" functionality; such functionality is normally a feature of an editor that may (or may not) accompany such an implementation.  Is it possible that it is not MikTeX (<em>qua </em>MikTeX) of which you speak, but rather TeXworks, the topic of the list to which you actually sent your message ?</div>
</blockquote>
If it <em>is</em>, then I am pleased to be able to report that TeXworks 0.6.2 does indeed return the number of instances matched.<br /> Philip Taylor</div>
</blockquote>
</div>
</div>