Differences
This shows you the differences between the selected revisions of the page.
| 2005-08-18 | 2005-08-31 | ||
| old revision restored (martin) (hidden) | no summary (195.56.234.82) (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. | ||