We're updating the issue view to help you get more done. 

Display of machine in editor wrong: overlapping words

Description

See attached screenshot for details.
Some words are overlapping (latest ProB2-UI on Mac Mojave)

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major