Antidote 11 User Guide

User Guide / Settings / Interface Settings / Appearance Panel

Appearance Panel of the Interface Settings

Marks in the corrector

Highlighting colour

In the Style view, as well as the Revision, Statistics and Inspection filters, highlighting helps you quickly locate the results that you were looking for or that the corrector has found. Antidote can highlight these elements in the colour of your choice; simply click on the corresponding box.

  • The highlighting in most filters appears in pale yellow by default in the majority of the filters.

Secondary highlighting colour

When the same detection occurs several times in a text, the corrector groups them together. Clicking on one of the detections in a group makes other identical cases appear in a colour distinct from the other detections. If you chose to correct identical cases in one go, they will all be modified. You can select the colour of this secondary highlighting by clicking on the corresponding box.

  • The secondary highlighting appears in golden yellow by default.

Print highlighting in black and white

When printing, highlighting appears in colour on a colour printer or in grey on a black and white printer. Select this option to force the highlighting to print in the shade of grey that provides the highest contrast.

  • This setting is disabled by default.

Underlining of corrected errors

When you approve a correction, the underlining changes from red to green to indicate that the error has been corrected. Antidote can display this underlining in blue, which is helpful for those who are colour-blind. If the underlining is set to blue, corrected characters will also appear in blue in the list of detections.

  • Underlining of corrected errors is green by default.

Text size and font

You can change the font of the text used in the corrector (i.e. the text in the main panel), the dictionaries (the main content in the running text), the guides (the text of the articles) and the documents created in Antidote’s internal text editor.

  • To quickly change the font size, use the zoom buttons in the toolbar.