user5844: When searching the docs it helps to use ctrl + F to find something fast, however, when I use it on the plutus docs I get a weird pop-up screen I'm not used to. (Image Below)
My Questions are:

What is this screen?
Why does it pop up?
Can It help me in any way / what use does it have?
Is there a way to stop it from poping up?

link to a page this has happened on: https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-api/html/Plutus-V1-Ledger-Contexts.html


user6763: What is this screen?
that window comes by default with the haddock documentation
I think it should work as a quick "go-to" however for PlutusTx the links do never work (at least to my experience)
Why does it pop up?
by pressing Ctrl+F you are searching for some text in the DOM of the page
that window is located on top of the main content at the ```ħtml`` level so the search goes there first
Can It help me in any way / what use does it have?
It can give you a quick overview of what's on the page however the clicking on the Types usually doesn't work so it's not that useful
Is there a way to stop it from poping up?
not by the webpage functionalities but you can remove it from the page by running the following javascript code in the browser console

you can open the browser console by pressing F12 or  Ctrl+Shift+J or by the three dots on the top left of the browser searching for Developer tools

document.getElementById("synopsis").remove()

this will remove the window only for the current page, refreshing or re-access the page will have the window once again

5844: <p>When searching the docs it helps to use <code>ctrl</code> + <code>F</code> to find something fast, however, when I use it on the plutus docs I get a weird pop-up screen I'm not used to. (Image Below)</p>
<p>My Questions are:</p>
<ol>
<li>What is this screen?</li>
<li>Why does it pop up?</li>
<li>Can It help me in any way / what use does it have?</li>
<li>Is there a way to stop it from poping up?</li>
</ol>
<p>link to a page this has happened on: <a href="https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-api/html/Plutus-V1-Ledger-Contexts.html" rel="nofollow noreferrer">https://playground.plutus.iohkdev.io/doc/haddock/plutus-ledger-api/html/Plutus-V1-Ledger-Contexts.html</a></p>
<p><a href="https://i.stack.imgur.com/0hG7x.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/0hG7x.png" alt="enter image description here" /></a></p>
 6763: <h2>What is this screen?</h2>
<p>that window comes by default with the haddock documentation</p>
<p>I think it should work as a quick &quot;go-to&quot; however for PlutusTx the links do never work (at least to my experience)</p>
<h2>Why does it pop up?</h2>
<p>by pressing <code>Ctrl</code>+<code>F</code> you are searching for some text in the <a href="https://developer.mozilla.org/en-US/docs/Web/API/Document_Object_Model" rel="nofollow noreferrer">DOM</a> of the page</p>
<p>that window is located on top of the main content at the ```ħtml`` level so the search goes there first</p>
<h2>Can It help me in any way / what use does it have?</h2>
<p>It can give you a quick overview of what's on the page however the clicking on the Types usually doesn't work so it's not that useful</p>
<h2>Is there a way to stop it from poping up?</h2>
<p>not by the webpage functionalities but you can remove it from the page by running the following javascript code in the browser console</p>
<blockquote>
<p>you can open the browser console by pressing <code>F12</code> or  <code>Ctrl</code>+<code>Shift</code>+<code>J</code> or by the three dots on the top left of the browser searching for <code>Developer tools</code></p>
</blockquote>
<pre><code>document.getElementById(&quot;synopsis&quot;).remove()
</code></pre>
<p>this will remove the window only for the current page, refreshing or re-access the page will have the window once again</p>
