Differences
This shows you the differences between the selected revisions of the page.
| 2015-12-18 | 2016-07-29 | ||
| ui_pref_editor_internal (martin) | 5.9 stable released (martin) | ||
| Line 10: | Line 10: | ||
| * Go to line number (''Ctrl+G''). | * Go to line number (''Ctrl+G''). | ||
| * Save (''Ctrl+S''). | * Save (''Ctrl+S''). | ||
| - | * Save All (''Shift+Ctrl+S''). &beta_feature | + | * Save All (''Shift+Ctrl+S''). |
| * Reload (''Ctrl+R'') | * Reload (''Ctrl+R'') | ||