Using the Web Console Text Editor

The Web Console Text Editor that is used to edit procedures, files, and server configuration files has line numbers and a search facility. A search for characters in the Find text box opens a window with the list of lines matching the pattern, as shown in the following image.

As you click each line in the Find window, the Web Console text editor scrolls to display that line.

When you edit configuration files from the Workspace tab, the editor toolbar has new actions to:

• Refresh from disk.
• Reset to the server default settings.