You probably made a mistake while applying the patches from my fork.
It should move the playing line a bit to the left, since it's partially covered by the scroll bar on mono. However it added extra padding to the right of the line numbers on Mono instead.
You probably made a mistake while applying the patches from my fork. It should move the playing line a bit to the left, since it's partially covered by the scroll bar on mono. However it added extra padding to the right of the line numbers on Mono instead.