Differences
This shows you the differences between the selected revisions of the page.
| 2005-08-12 | 2005-08-12 | ||
| ui_editor_preferences (martin) | ui_editor_find, ui_editor_replace (martin) | ||
| Line 98: | Line 98: | ||
| * [[task_edit|Editing/Opening Files]] | * [[task_edit|Editing/Opening Files]] | ||
| * [[ui_editor|Internal text editor]] | * [[ui_editor|Internal text editor]] | ||
| + | * [[ui_editor_find]] | ||
| + | * [[ui_editor_replace]] | ||
| * [[task_properties|Changing Properties]] | * [[task_properties|Changing Properties]] | ||
| * [[ui_properties]] | * [[ui_properties]] | ||