Text editor

All text files with the file extensions .txt, .css, .php, .js, .pl etc. can be edited with the text editor.  To open a file with the text editor, go to the Page management and open a text file in the Script directory.

 

 

 Open page

 Save page

 Save page as

 Start page again

 Cut

 Copy

 Insert

 Undo

 Redo

 Search

 

 To make text easier to read and check, set tabs in the text editor.