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

Your robot can be more than a simple automated machine with the power of ARC Pro!