cursive

Issues at: https://git.io/cursive-issues
favila 2021-06-09T00:36:14.171300Z

Cursive seems to control the module settings—the next ”import changes” will reset the names

salam 2021-06-09T04:37:26.171900Z

you're right. we seem to have lost the ability to rename modules in this particular case where modules in different directories share the same name... 😞 Cursive threw 5 unhandled exceptions when i attempted to import and rename such modules...