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

With ARC Pro, your robot is not just a machine; it's your creative partner in the journey of technological exploration.