The view menu does not make the difference between "mark" and "highlight"

The free computer aided translation (CAT) tool for professionals

Brought to you by: alex73, amake, brandelune, briac_pilpre, and 10 others

Milestone: 5.8-6.0 - user manual

Status: closed-fixed

Owner: Jean-Christophe Helary

Labels: None

Priority: 5

Updated: 2025-02-09

Created: 2023-01-07

Private: No

A review of the View menu reached the following conclusion:

Use "highlight" / "display" / "mark" appropriately.

Jean-Christophe Helary - 2023-01-07

https://github.com/omegat-org/omegat/pull/405

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jean-Christophe Helary - 2023-01-07

status: open --> open-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jean-Christophe Helary - 2025-02-09

status: open-fixed --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: