Closed JanKoehnlein closed 7 years ago
When we select a task allocation in the editor, the resp. core is centered. It should be selected as well.
When we select a task allocation in the editor, the resp. core is centered. It should be selected as well.