jansol
jansol
Looking at the extensions repo it seems like it's possible for an extension to provide both themes and languages at the same time? So the filtering would need to account...
How does this interact with paths that only have an empty directory at the end? Particularly if you have say, `foo/bar` and `foo/baz` and both bar and baz are empty.
I don't really have experience with such functionality so no good references. Not folding seems reasonable there. And I assume `foo/bar/baz/xyz/zy` where `zy` is empty would get folded?
Duplicate of #5348 ?
Hmm, so more like #5294 then
Assuming I understood the premise of this PR right, this seems to be something where different platforms have somewhat different conventions. On macOS I agree with @kchibisov that the cursor...
> Here's the behavior with default Traditional Chinese Zhuyin IME on macOS: Hm right, looks like the Pinyin IME also shows a cursor instead of a segmented underline.
"cpu" is definitely a lot more intuitive. Currently "basic" sounds more like it would be the "main" driver than "pthread". Should basic perhaps be renamed to something like "cpu-single-thread" while...
I would keep the "cpu-" part at the start, makes it a bit easier to group it together with the threaded cpu driver when they have the same prefix. So...