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...
I'm looking at: https://github.com/nikitabobko/AeroSpace/blob/0ce757b970a3cfd95a420eeba0bfe3b38a2f3609/src/tree/Workspace.swift#L40-L42 If it's just a problem of sorting items for displaying purposes, I suggest using `localizedStandardCompare` as described in https://stackoverflow.com/a/43870210.
> Your alternative is to rename workspaces to `01`, `02`, ..., `10` I've thought about that workaround and got a significantly wider tray icon for just fixing the order, and...
> I'm not sure that I want to use `localizedStandardCompare`. It sounds too magical. The semantics of the API is not clear @nikitabobko I just did a bit more research,...