Ólafur Páll Geirsson

Are the blue numbers (error id) in the summary necessary? It might be clearer to only display the filename and line numbers.

This would be very nice, I'm in the process of doing a fairly brutal upgrade and it would be helpful to see the total number of errors go down between...

Our JetBrains plugin is already sending the “codebase” setting based on git remote config in the IntelliJ git plugin. The long term solution is to get this information from the...

File watching is very expensive to operate in large repositories, we should lean heavily on the editor’s existing file watchers over rolling our own.

I primarily picked md5 since it's available out-of-the-box in the JDK. With xxHash you need a Java library, although that's not a big issue really. If we are going to...

LGTM 👍 I'm happy to remove the md5 field in favor of xxHash. No need to deprecate since we are in a milestone phase.

I updated the title to reflect that this bug only reproduces with `--animation` enabled. I just released 1.9.1, which disabled animation by default. Thank you @jlisee for identifying the workaround!

Related https://github.com/scalameta/scalameta/pull/1533

We could use the same visitor pattern as `nio.FileVisitor`. ```scala trait SemanticdbVisitor { def visitTextDocument(doc: TextDocument): Unit def visitIndex(index: Index): Unit def onError(e: Throwable): FileVisitResult // stop/continue/skip_substree } object Locator...

Some thoughts while working with the current index * I would go with a readable name like `semanticdb-index` (no file extension). "idx" is quite obscure, it's likely people will notice...