Wen Kokke
Wen Kokke
@michaelpj I would be happy if it were possible to annotate the `TextDocumentContentChangePartial` type with a `ByteRange` that contained the same information as `Range` but specified in bytes rather than...
> I'm working on something for this, should be ready in a week or two Wow, that was a quick response. Amazing!
@tek Do you know *why* it happens?
@tek Any updates on this?
any suggestions for workarounds I could use in the meantime?
my current idea for a workaround is to fork and remove splices entirely, and use that fork in the meantime
> Thank you, but I'm not sure what point you are making. The best way forward might be for you to file a pull request that fixes what you see...
> The css has a general `a:visited` defined to a tint of blue, which applies to code blocks and thus changes highlighting: > > > >  > > >...
> Yes, that's right. Clicking the definitions changes the highlighting, which then remains wrong until the browser forgets the visited target, whenever that may be. > > > > `Agda.css`...
You're setting the text color to transparent? Could you explain how that works and why it solves the issue? My guess would be to just set the color to inherit...