Yes… thanks for the detailed post and I’m sorry for the confusion I caused by setting things up this way. When you open the Tile Collision Editor, and click a tile without selecting a collision shape, you actually edit the properties of the Object Layer in which the collision shapes reside.
I’m increasingly of the opinion that this serves to purpose at all, especially since such properties could just be added to the tile instead. The only problem with removing this feature would be that some people may rely on it since these properties could be edited since a long time.
@Seanba, what do you think about dropping the ability to edit these properties? Alternatively I could add a button to access them, but I’d rather avoid it since I think it has so little use.
Edit: then I realized you’re actually reporting a bug, and fixed it with this change:
Though my doubts about this feature still remain.