<div dir="ltr"><div>It seems you'd want the "Toggle All" button. There is an issue for that:</div><div><br></div><div><a href="https://gitlab.com/gitlab-org/gitlab-ce/issues/19149">https://gitlab.com/gitlab-org/gitlab-ce/issues/19149</a></div><div><br></div><div></div><div>There is even a beautiful workaround given there with typing the following command in the JavaScript console in a browser:<br></div><div><span style="font-family:monospace">$(".discussion-toggle-button:has(i.fa-chevron-down)").click()</span><br></div><div>After that, indeed, I could Ctrl+F the phrase referenced by Simon ("Another module should reference the symbol") while before I could not.</div><div><br></div><div>--</div><div>Best, Artem<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, 4 Jan 2019 at 21:48 Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Quite right. I will bring this up with upstream. <br></div><div><br><div class="gmail_quote">On January 4, 2019 1:04:43 PM EST, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>> wrote:<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir="ltr"><div dir="ltr">On Fri, Jan 4, 2019 at 1:02 PM Ben Gamari <<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
As mentioned by others, discussions that have been marked as "resolved"<br>
are collapsed by default. If you search for the text "Toggle discussion"<br>
you will find that the collapsed discussions have link on their<br>
right-hand side which you can click on to expand the hidden comments.<br></blockquote></div><div><br></div><div>The problem there being there's a lot of such, and no way to tell which one is relevant unless you have both original links and enough context. Finding stuff like that absent context doesn't look at all easy. :/</div><div><br></div>-- <br><div dir="ltr" class="m_-8254789537684008432gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div></div>
</blockquote></div><br></div><div>-- <br>Sent from my Android device with K-9 Mail. Please excuse my brevity.</div>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>