flix / vscode-flix

Apache License 2.0
20 stars 23 forks source link

Build directory makes vscode unresponsive #167

Closed jaschdoc closed 1 year ago

jaschdoc commented 2 years ago

Screenshot from 2021-11-12 18-05-28 The build directory generated by the vscode extension grows as more files and namespaces are added. VSCode watches this directory, but with lots of files in the build directory it makes both VSCode and its extensions unresponsive as it watches too many files. Maybe this directory can be excluded from the watch list somehow? I have 37 flix files in my project which is fairly small, so the watch limit is quickly reached.

magnus-madsen commented 2 years ago

Both build and target should be excluded.

navilan commented 2 years ago

Would be nice to have a set of excluded (or included) folders. (I use the VSCode local history extension and the .history folder gets into the glob list).

magnus-madsen commented 1 year ago

Fixed, I believe.