Programming: Which Editors Do We All Use?