Differences
This shows you the differences between the selected revisions of the page.
| 2007-03-09 | 2007-04-10 | ||
| old revision restored (martin) (hidden) | 4.0 reload (martin) | ||
| Line 10: | Line 10: | ||
| * Go to line number (''Ctrl+G''). | * Go to line number (''Ctrl+G''). | ||
| * Save (''Ctrl+S''). | * Save (''Ctrl+S''). | ||
| + | * Reload (''Ctrl+R'') | ||
| When you save remote file, an [[task_upload|upload]] is immediately started. | When you save remote file, an [[task_upload|upload]] is immediately started. | ||