<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear Stefan,</p>
<p>Thanks for your feedback! Yes, it's not your browser's fault, we
have changed the search method in the online documentation.</p>
<p>The reason was mainly because before you needed to know exactly
how the start of the function was called because the search
matched for the start of the string. The new functionality
searches for strings at any position in the function name. <br>
</p>
<p>We will discuss this again and see if we can improve this again.</p>
<p>Best,<br>
Franziska<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 2/19/22 18:57, Stefan Helber wrote:<br>
</div>
<blockquote type="cite"
cite="mid:a7961f5be47f497bb7ea629b932a1c63@prod.uni-hannover.de">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt;
color:rgb(0,0,0);
font-family:Calibri,Helvetica,sans-serif,"EmojiFont","Apple
Color Emoji","Segoe UI
Emoji",NotoColorEmoji,"Segoe UI
Symbol","Android Emoji",EmojiSymbols">
<p>Dear Scip community,</p>
<p><br>
</p>
<p>On <a href="http://scipopt.org" class="OWAAutoLink
moz-txt-link-freetext" id="LPlnk751077"
previewremoved="true" moz-do-not-send="true">
http://scipopt.org</a>, there used to be in the
documentation section a nice search function which helped a
lot to find information about a particular method or function
(such as, e.g., "SCIPisFeasZero") to work with Scip, as it
would make some suggestions in the left column of the page,
right below the search field. Clicking on those links then led
to the desired documentation. Now those proposals have
disappeared and instead a really large number of different
files is given in which this search string is found in the
main body of the page, which renders the search functionality
substantially less helpful than it used to be. Is this a bug,
or is it a feature which I yet have to learn to appreciate?</p>
<p><br>
</p>
<p>Thanks a lot!</p>
<p><br>
</p>
<p>Stefan Helber</p>
</div>
<br>
<fieldset class="moz-mime-attachment-header"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
</body>
</html>