recenteditor - A programmers editor