Change bar feature in scintilla

[MortenMacFly]

https://apt.jenslody.de/patches/scintilla_changebar_20081120-3.patch .

I feel #4 is probably coming soon, too... ;-) We wrote literally the same second.

[Jenna]

I'll do it.

Looks good, besides on objection:
We have under editor settings the category "margins and caret".
I believe because the changebar *is* a margin the settings option should go there...?!

You are right.

Here's a patched patched patch: https://apt.jenslody.de/patches/scintilla_changebar_20081120-4.patch.

EDIT: Seems not to work correctly, if checkbox switched (I guess the id got lost while copying), will fix later.
Family needs some time now.

[Jenna]

And another one (https://apt.jenslody.de/patches/scintilla_changebar_20081120-5.patch).

This works as expected (as far as I see).

Checkbox is in "Margins and caret", and the margin disapeears, if changebar is disabled.

I swapped changebar- and folding-margin, because after using it a while, I think it looks better this way.