Differences
This shows you the differences between the selected revisions of the page.
| 2013-12-20 | 2014-08-21 | ||
| 5.5 removing beta tags (martin) | no summary (158.181.152.69) (hidden) | ||
| Line 4: | Line 4: | ||
| &screenshotpict(pref_editor) | &screenshotpict(pref_editor) | ||
| - | ===== [[preference]] Editor Preference ===== | ||
| - | The list in the upper part of the group shows configured editors. | ||
| - | Column //Editor// shows "Internal editor", "Associated application" or name of the external editor. Column //Mask// shows editor autoselection [[file_mask|mask]]. Column //Text// indicated if the text transfer mode is forced for the external editor. | ||
| - | |||
| - | Use button //Add// to add new editor. //[[ui_editor_preferences|Editor preferences dialog]]// will appear. The newly added editor will be inserted before a editor selected in the list or at the end, if no editor is selected. | ||
| - | |||
| - | Use button //Edit// to edit selected editor. //[[ui_editor_preferences|Editor preferences dialog]]// will appear. | ||
| - | |||
| - | Use button //Remove// to remove selected editor. If you remove editor by mistake, you can always cancel whole Preferences dialog to undo all changes. | ||
| - | |||
| - | Use buttons //Up// and //Down// to change order of the editors. The order is important when [[ui_editor_preferences#autoselection|autoselecting editor]]. | ||
| ===== Internal Editor Options ===== | ===== Internal Editor Options ===== | ||