Eric Huber
Eric Huber
Would it be okay to add the setting `"window.menuBarVisibility": "visible"`? This nests a traditional menubar in the top bar instead of putting a hamburger button. It doesn't take up more...
So I added the setting for the menu bar and also included a `tasks.json` file that ensures the terminal panel will open automatically at startup time. I think this detail...
Apart from the example question issue, I wasn't going to change anything further right now.
Since there was already an example question referencing the old prototype image that's technically been unsupported, I went ahead and just revised that question to serve as an example. While...
@Victorsss-Orz When you have time to look at this, I think the revised demo question may be sufficient now as a minimal placeholder, but maybe you'd like to add another...
Sure, @nwalters512 if it looks okay for now, can you let @Victorsss-Orz know if it's okay to add more? Or maybe the PR can be finalized now and followup features...
I'm making some progress on sorting out the conda problems and I'll make a commit soon. Since you switched to miniforge on the grader, I tried using it here too,...
It doesn't look like the size was reported by CI, but it's roughly 2.25 GB.
So it sounds like maybe there is already a workaround for this, but probably not documented very clearly.
I'm not sure; I'm just referring to the trick you had mentioned on https://github.com/PrairieLearn/PrairieLearn/issues/2083#issuecomment-605526479 (also discussed on Slack a few weeks ago): > If the instructor does not want to...