On Tue, Dec 4, 2012 at 11:42 AM, Mattias Gaertner <nc-gaertnma at netcologne.de> wrote: > Which source editor? The default install comes with 1 source editor. If someone sets up multiple then he is not using the defaults. -- Felipe Monteiro de Carvalho