Rocks'n'Diamonds

Im pretty sure this used to show up somewhere on the currently selected CE's pages but it doesnt now.

Basically im suggesting that somewhere on a CE page, it has the number of that CE even if you gave it a name change, I get pretty lost and end up having to count my way through the CEs every now and again because I renamed them all, so a simple CE12 or something below the given name on the CE page would be nice

I'm almost sure that this used to be on the information tab, and even if it hasn't then I'm sure it won't be so hard to put it back again - unless Holger recently changed huge parts of the level structure

Strange, I had the same idea recently... btw, what about adding graphicsinfo.conf element ID to info page? Like when you want to change graphics for just one element and you don't know its ID, you don't need to execute "print graphicsinfo.conf" (or search for graphicsinfo.conf somewhere in original graphics).