×
Menu
Index

HTML Source Edit

HTML Source Edit
1

Undo

1. Undo
Undo last performed action.
2

Redo

2. Redo
Redo the last undid action.
3

Cut

3. Cut
Cut the selected text to clipboard.
4

Copy

4. Copy
Copy the selected text to clipboard.
5

Paste

5. Paste
Paste text from clipboard. If there is selected text, the pasted text will overwrite the selection.
6

Select All

6. Select All
Select all the text.
7

Find/Replace

7. Find/Replace
Click to open the Find/Replace Dialog
8

Division Calculator

8. Division Calculator
9

Preferences

9. Preferences
Open the Preferences Dialog to change HTML Source Editor settings.