I have been trying to change the dimensions of a draw.io shape. There was a question about this previously (In draw.io is there a way to manually enter the width of a shape) which said that you should go to the Edit Geometry option in the format menu
However I can't see that anywhere - has it moved or am I doing something wrong?