1.3 Practice: the IDE and its editor