João M. Damas comments

Repositories
Issues
Comments

Results 32 comments of


                                            João M. Damas

Extension rapidly toggles between enabled/disabled

I also faced the same on Windows 10 and same versions as OP. To "solve" it, I've closed the app, and start it again, the extension was disabled, I enabled...

Implementing hidden modules through module-hide/hide{}

Maybe a concrete case would help frame the discussion. I was trying to install all the currently 6 supported foss toolchains (rationale: since GCC, FFTW, and some others take some...