setting bigger value than 7000 to rulerWidth property

[mahmutpinarbasi]

Hi,

I am trying to increase the rulerWidth, but it is limited to 7000. I've forked the repo and try to increase that limit, but it didn't work.
Is there any way to make it happen?

[themiddle]

Did you get this working?