Michael Heuberger

Thanks, guys. Somehow, after having disabled `Skipping standard library file` (that option I've found under User settings, not workspace settings, Ruff is finally highlighting errors in the IDE and is...

Ummm sorry, which file path @dhruvmanila? I think it's linting fine now in my project for weird reasons I cannot explain. So I've opened a different project and am now...

Oh, another interesting finding. When I went back to the other project, I'm seeing similar errors: ``` 2024-03-20 17:12:52.568 [info] Global settings: { "cwd": "/home/michael-heuberger", "workspace": "/home/michael-heuberger", "path": [], "ignoreStandardLibrary":...

Interesting discovery @dhruvmanila - I don't know much about it and hope you can figure a better algorithm for failures like these? LMK if I can help with something.

ah, on save or text change it lints again. can we change that behavior and have it lint again after i.E. 500ms of silence? sometimes you correct a line and...

ok, that's configured. thanks for pointing. but the next problem is ... see screenshot:  when i click on the yellow icon, nothing happens....

ah good, that worked now the next issue:  why is Create.es underlined with yellow as faulty but has zero warnings/errors?

installed them, still no change. it's still underlined with yellow. it has no linting errors in it. nowhere there is an explanation what's wrong with this file. even when i...

Yup, that would be outstanding, a massive performance improvement when you already have an audio video separate to the video.

Switch to `type` then it will pass