Currently disabled in Folder mode in https://github.com/source-academy/frontend/pull/2403 because it was designed for single-file programs. We will need to rethink how this feature should work.
