Jonathan Coates

I'm also beginning to bump into this issue with semantic token legends. In this case the server-supplied legend needs to be chosen based on the client capabilities, and then stored...

Ahh, sorry! Had seen that issue, but hadn't quite thought about how it might relate to this one. With this change, are you proposing removing all the capability-related information from...

Great, thanks! > Hmm yes, I think we could basically get rid of `Options` entirely, in fact? There's a couple of options (server info, progress delays), which aren't part of...

Sorry for the lack of updates. I've a branch which makes this change, but having done so, I'm now less sure it makes sense in isolation from #583. The main...

So you could write a lens (or traversal) that promotes the boolean to the full options[^1]. For example (excuse the terrible names): ```haskell newtype ServerCapabilities' = ServerCapabilities' { unServerCapabilities' ::...

Judging by #84, I wonder if it makes sense to fuzz the Lua parser too.

https://github.com/SquidDev-CC/copy-cat/blob/b4494c066c31a598fc56154364784014a6c4dffe/src/main/java/cc/tweaked/web/mount/ComputerAccessMount.java#L43-L44 Oh yeah, I'd forgotten about this.

Artist _should_ prioritise extracting from partially-filled stacks which, in principle, means it shouldn't get fragmented in the first place. However, insertion logic inserts items into the first free slot (rather...

Take what I'm about to say with however many pinches of salt you deem necessary, as I'm obviously a little biased. Just a couple of points: - It's worth noting...

Afraid I ended up going a slightly different approach in 63e40cf3cb33ab0ced3cfe3ba6de82dcbb6159ab.