rami3l

Are you looking for something like this? [`public static void reparseFiles(Project project, Collection

@usernamehw Gentle reminder: https://github.com/microsoft/vscode/issues/16221#issuecomment-1033827087 is now closed, and the new VSCode inlay hints API are finalized, which might just be the necessary API to resolve this issue.

@usernamehw Thanks for you timely reply! I'm no expert, but here's what I've found... 1. As per https://github.com/microsoft/vscode/issues/129673#issuecomment-888164529 it seems to me that those decorations can actually be wrapped. 2....

@gebner Hi! I find it extremely confusing that the Lean4 plugin is activated even if I open a random `README.md` in a repo completely irrelevant to Lean (and `elan` starts...

Those are the keys supported by `KeepAlive` as per https://keith.github.io/xcode-man-pages/launchd.plist.5.html#KeepAlive: 1. [`SuccessfulExit `](https://keith.github.io/xcode-man-pages/launchd.plist.5.html#SuccessfulExit) 1. ~~[`NetworkState `](https://keith.github.io/xcode-man-pages/launchd.plist.5.html#NetworkState)~~ (deprecated) 1. [`PathState `](https://keith.github.io/xcode-man-pages/launchd.plist.5.html#PathState) 1. [`OtherJobEnabled `](https://keith.github.io/xcode-man-pages/launchd.plist.5.html#OtherJobEnabled) 1. [`Crashed `](https://keith.github.io/xcode-man-pages/launchd.plist.5.html#Crashed) ... and I guess...

@trinhtran-markany I'm just coming by, but I don't think you have the permission to write to `/Library` as a normal user (you might need `sudo` or something like that). Hope...

(Slightly off topic) @rbtcollins In that case, I guess GitHub can pretty much do that quite easily for us regardless of the merge method being used. There is a "generate...