I've never seen that before. Did anything happen to the Theme editor, did it crash or something? Something must have gotten corrupted somehow. Very sorry about this, I will try to reproduce, if you can tell me some steps that may have influenced it I can retry it.
Unfortunately scripts are not backed up with our auto-backup. I will consider adding that as well for the future.