Whether they buckled under pressure or had it in mind all along, we’ll probably never know. But it appears that WordPress has reinstituted border and margin settings in our image editors. They’ve even added a nice tool for selecting border colors. Interesting how there has been no announcement about it other than the usual passing mention in the forums. But then, I don’t recall ever getting formal announcements about such things.
Check it out. I’m sure you’ll be pleased. And thank you, WordPress. See, that wasn’t so hard, was it?