edit coordinates

make vertices display their coordinates and make them editable by allowing precise input