Editor search in page

You can search for a term in any article html page by typing Ctrl+F as you could do in any Web browser.

Usage

Just type CTRL+F in the article content in the Editor, and a small window allowing to search in a page will appear:

This window contains:

• One text field for the search term
• One button to search forward a term
• One button to search backward a term
• One button to close the window

Limitations

Beginning with Java 9, the search function in page will not be available by default because it tries to make accessible a private internal field of the WebEngine.