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.

Last modified: by martin