I have come across a situation a few times where when one developer tries to open the global script module, we get the Edit Conflict pop-up, warning that it is unable to retrieve the edit lock for resource /sr.script.library, but that developer does not have the Script Module open, and in fact doesn’t even have the designer open. Usually when that happens, the other developer will open a designer and close it, and then the lock gets cleared. But today that developer isn’t available, and we’re kind of stuck.
I found this old thread requesting the ability to terminate designer sessions. This feature would have been pretty handy to have today. Has it been given any further consideration?