Differences
This shows you the differences between the selected revisions of the page.
2005-08-31 | 2005-08-31 | ||
no summary (195.56.234.82) (hidden) | old revision restored (martin) (hidden) | ||
Line 6: | Line 6: | ||
=== 2005-08-15 === | === 2005-08-15 === | ||
* Editing files enhanced: | * Editing files enhanced: | ||
- | * There can be several external editors configured... | + | * There can be several external editors configured. |
* Appropriate editor for particular file can be selected automatically by file mask (i.e. file extension, directory, etc.). | * Appropriate editor for particular file can be selected automatically by file mask (i.e. file extension, directory, etc.). | ||
* Command //File(s) > Edit (alternative)// replaced with submenu listing all available editors. | * Command //File(s) > Edit (alternative)// replaced with submenu listing all available editors. |