The 06 August 2013 build (9246) is out.

[Jenna]

@ollydbg:
can you test the attached patch ?

Just a quick and rough one. It also zooms the folding margin, but not the changebar and marker margin.
The changebar-margin is just 4 px small, so it does not really matter, and the maerker margin would need tweaking of all plugins that use it, and I do not have the time at the moment.

Hi, jens, thanks, I just test this patch, and it fix the problem I reported.

Jen, can you commit this patch to trunk? Thanks.

Committed to trunk (svn r9398).

Jens

[ollydbg]

@ollydbg:
can you test the attached patch ?

Just a quick and rough one. It also zooms the folding margin, but not the changebar and marker margin.
The changebar-margin is just 4 px small, so it does not really matter, and the maerker margin would need tweaking of all plugins that use it, and I do not have the time at the moment.

Hi, jens, thanks, I just test this patch, and it fix the problem I reported.

Jen, can you commit this patch to trunk? Thanks.

Committed to trunk (svn r9398).

Jens

Thank you.