I understand now, I first thought you were talking about the "debugging options" dialog. So this issue is also fixed by recent changes made on the debug menu and tools to be more consistent with View | Tools menu. I hope you will appreciate this new debug menu.