This sounds right. I've got Developer Mode on for my own custom written extensions and don't have mine disabled at all.