New feature: set width of margin

[jonpatterns]

Thanks for this great plugin : -)

It would be great if the width of the margins could be set via gedit's gui

I changed the margin divide instruction to / 6 to create a thinner margin

return int(margins / 6)

[sergejx]

Sorry for so long delay.

The plugin calculates width of margins based on the prefered text width. The text width itself is taken from the “Display right margin at column” setting. If you have disabled the right margin, then just enable it, change the number, and disable it again.