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

ARC Pro is your passport to a world of endless possibilities in robot programming, waiting for you to explore.