Differences
This shows you the differences between the selected revisions of the page.
| 2013-04-29 | 2013-05-15 | ||
| no summary (Petr) | Renaming Login/Preferences "tabs" to "pages" (martin) | ||
| Line 1: | Line 1: | ||
| - | ====== Editors Tab (Preferences Dialog) ====== | + | ====== Editors Page (Preferences Dialog) ====== |
| - | The //Editor tab// on the [[ui_preferences|Preferences dialog]] allows you to configure options for both [[task_edit|internal and external editors]]. Some of the options also affect [[task_edit|opening remote files]] in an associated local application. | + | The //Editor page// on the [[ui_preferences|Preferences dialog]] allows you to configure options for both [[task_edit|internal and external editors]]. Some of the options also affect [[task_edit|opening remote files]] in an associated local application. |
| &screenshotpict(pref_editor) | &screenshotpict(pref_editor) | ||
| Line 32: | Line 32: | ||
| ===== Further Reading ===== | ===== Further Reading ===== | ||
| - | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#tabs|tabs]]. | + | Read more about [[ui_preferences|Preferences dialog]] and its other [[ui_preferences#pages|pages]]. |