Germany
Asked — Edited

Editor Line Numbers Displaced

When scrolling a script in an editor window, the line numbers scroll not in sync with the text. The lines seem to scroll in discrete steps, while text scrolls smoothly. This can make the lines hang between the line numbers.

To reproduce: edit a script with a length greater than the window height. Then scroll down, using the scrollbar or mouse wheel.


ARC Pro

Upgrade to ARC Pro

Discover the limitless potential of robot programming with Synthiam ARC Pro – where innovation and creativity meet seamlessly.