Differences
This shows you the differences between the selected revisions of the page.
| 2018-10-18 | 2018-11-06 | ||
| 5.14 Bug 316 Files can be copied to the clipboard (martin) | 5.6.2 Bug 1226 Edit With menu (previously Edit (alternative) + 5.8 Edit With menu moved to Edit submenu (martin) | ||
| Line 8: | Line 8: | ||
| * [[task_edit|Open]] | * [[task_edit|Open]] | ||
| * [[task_edit|Edit]] (Ctrl+E) | * [[task_edit|Edit]] (Ctrl+E) | ||
| - | * [[task_edit|Edit (alternative)]] | ||
| * [[ui_editor|Internal Editor]] | * [[ui_editor|Internal Editor]] | ||
| * ... | * ... | ||