« previous next »
Pages: 1 2 [3]  All   Go Down

Author Topic: Change bar feature in scintilla  (Read 26920 times)

Offline MortenMacFly

  • Administrator
  • Lives here!
  • *****
  • Posts: 9723
Re: Change bar feature in scintilla
« Reply #30 on: November 20, 2008, 04:29:22 pm »
Quote from: jens on November 20, 2008, 04:27:53 pm
https://apt.jenslody.de/patches/scintilla_changebar_20081120-3.patch .
I feel #4 is probably coming soon, too... ;-) We wrote literally the same second.
Logged
Compiler logging: Settings->Compiler & Debugger->tab "Other"->Compiler logging="Full command line"
C::B Manual: https://www.codeblocks.org/docs/main_codeblocks_en.html
C::B FAQ: https://wiki.codeblocks.org/index.php?title=FAQ

Offline Jenna

  • Administrator
  • Lives here!
  • *****
  • Posts: 7252
Re: Change bar feature in scintilla
« Reply #31 on: November 20, 2008, 04:52:10 pm »
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.
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.
« Last Edit: November 20, 2008, 04:54:35 pm by jens »
Logged

Offline Jenna

  • Administrator
  • Lives here!
  • *****
  • Posts: 7252
Re: Change bar feature in scintilla
« Reply #32 on: November 20, 2008, 07:02:19 pm »
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.
Logged
Pages: 1 2 [3]  All   Go Up
« previous next »