Differences

This shows you the differences between the selected revisions of the page.

ui_editor 2015-02-18 ui_editor 2015-12-18
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
  * Reload (''Ctrl+R'')   * Reload (''Ctrl+R'')

Last modified: by martin