Developer forums (C::B DEVELOPMENT STRICTLY!) > Development

Change bar feature in scintilla

<< < (7/7)

MortenMacFly:

--- Quote from: jens on November 20, 2008, 04:27:53 pm ---https://apt.jenslody.de/patches/scintilla_changebar_20081120-3.patch .

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

Jenna:

--- Quote from: MortenMacFly on November 20, 2008, 04:28:24 pm ---
--- Quote from: MortenMacFly on November 20, 2008, 04:01:54 pm ---I'll do it.

--- End quote ---
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...?!

--- End quote ---

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.

Navigation

[0] Message Index

[*] Previous page