Gitlab pain

Artem Pelenitsyn a.pelenitsyn at
Fri Jan 4 19:17:45 UTC 2019

It seems you'd want the "Toggle All" button. There is an issue for that:

There is even a beautiful workaround given there with typing the following
command in the JavaScript console in a browser:
After that, indeed, I could Ctrl+F the phrase referenced by Simon ("Another
module should reference the symbol") while before I could not.

Best, Artem

On Fri, 4 Jan 2019 at 21:48 Ben Gamari <ben at> wrote:

> Quite right. I will bring this up with upstream.
> On January 4, 2019 1:04:43 PM EST, Brandon Allbery <allbery.b at>
> wrote:
>> On Fri, Jan 4, 2019 at 1:02 PM Ben Gamari <ben at> wrote:
>>> As mentioned by others, discussions that have been marked as "resolved"
>>> are collapsed by default. If you search for the text "Toggle discussion"
>>> you will find that the collapsed discussions have link on their
>>> right-hand side which you can click on to expand the hidden comments.
>> 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. :/
>> --
>> brandon s allbery kf8nh
>> allbery.b at
> --
> Sent from my Android device with K-9 Mail. Please excuse my brevity.
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list