Editing Text and Page Properties
The Edit menu provides all the functionality of an editor. You can cut,
copy and paste text, and also search the text for a field. What's more,
you can even undo and redo your actions for many levels!
Undo/Redo
To undo the previous action, click on the Undo button, or on Edit
> Undo. GINF supports multiple undos.
To redo the previous action, click on the Redo button, or on
Edit > Redo. Again, GINF supports multiple redos.
Cutting Text
Select the text to be cut by dragging the mouse, and click on the Cut button,
or on Edit > Cut. The marked text will be cut and placed in the clipboard.
Copying Text
Select the text to be copied by dragging the mouse, and click on the Copy
button, or on Edit > Copy. The marked text will be copied onto the clipboard.
Pasting Text
Move the cursor to the desired location, and click on the Pate button,
or on Edit > Paste. The contents of the clipboard will be pasted.
Searching and Replacing Text
Under GINF, you can search for a text with a variety of options. Click
on the Search button, or on Edit > Find. You will be presented with a dialogue-box.
Enter your search phrase and click on Find to search with the default options.
Here is a screenshot of the dialogue-box:
You can also specify the following options for searching:
-
Whether to search from the beginning of the document (default), or from
the current cursor position.
-
Whether to search in the forward direction (default), or in the backward
direction.
-
Whether the phrase is case-sensitive.
-
Whether the phrase is a regular expression.
Click on Next and Prev buttons to quickly reverse the direction of searching,
or Close when you are finished.
Similarly, click on Edit > Replace to invoke a dialogue-box. Here, enter
the search term and the replacement term. Click on Find to search for the
term, and then click Replace to replace the term with the given text. You
can also click on Replace All to replace all occurrences without confirmation.
Clicking Close will return you to GINF.
Modifying Page Properties
Click on Edit > Properties to modify the properties of the HTML page under
editing. A dialogue-box will appear in which you can specify the changes.
A screenshot is given below:
In this dialogue box, you can:
-
Specify custom colours for the background, text, link, visited and active
links.
-
Specify a background image for the page.
-
Specify a title for the page, and add meta tags such as Author, Description,
Keywords and Classification.
-
Specify any other custom meta tags you wish to add.