Script Collection icon Script Collection — Manage and execute multiple scripts in a single Script Manager using ControlCommand(), with Control Details showing available commands. Try it →
Germany
Asked — Edited
1 Participant

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

Unleash your creativity with the power of easy robot programming using Synthiam ARC Pro