Bookmarks

<< Click to Display Table of Contents >>

Navigation:  Program Windows >

Bookmarks

This window displays a list of all bookmarks inserted in the given window:

oTerminal Log

oC file editor (not implemented yet)

oPython Script editor (not implemented yet)

 

It allows:

oAn easy way to directly select a given bookmark in the corresponding window without the need to browse using the arrow buttons.

oEditing of bookmark editing name and color.

 

The window can be opened by:

oFrom the View menu.

oFrom the toolbar of the Terminal Log window.

 

Click a table row to select the given bookmark in the corresponding window.

The Add Bookmark button is enabled only if the currently selected row in the corresponding window does not contain a bookmark.

Select a row and press Space to open the Edit Bookmark window allowing to set the bookmark name (multi-line text) and color.

Hold Shift, click the Add Bookmark button to place a bookmark at the selected row in the corresponding window, and open the Edit Bookmark window simultaneously.

Select a row and press F2 or double-click a row to edit bookmark name.

oIt is possible to enter multi-line plain text or use HTML coding with limited functionality.

Press Shift+Enter to create a new line.

Press Enter to exit editing and keep the content.

Press Esc to exit editing and erase the content.

The text is limited to 1000 characters.

oSupported subset of HTML tags.