« Reply #31 on: October 13, 2013, 01:28:22 am »
@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.
Logged
If some piece of memory should be reused, turn them to variables (or const variables).
If some piece of operations should be reused, turn them to functions.
If they happened together, then turn them to classes.