Working with editors¶

Editors are bound to specific file types, identified by a name pattern (e.g. file ending *.txt). The default configuration uses a simple text editor for all file types, except for the Java editor bound to Java sources.

Editing a file¶

Files can be opened by double-click in the Packages, Checkin Tree or Package Explorer view. The Document Information view allows furthermore editing/viewing of all contributions of a source file.

Using external editors¶

Open the preferences and select the File Associations page (referenced from the topmost page, Mumie). Select the file type for which an external editor should be used. Press the Add... button from the list Associated editors below. Select the option External programs in the opening window and select an application from the list below or via the Browse... button. Click OK.

You can set the newly added editor as the default editor for this file type by selecting it and pressing the Default button.