I just accidentally deleted something and pulled it out of the recycle bin. I think, in thirty-five years of working with GUIs, that's the first time I have actually done that.