User forums > Nightly builds

The 06 August 2013 build (9246) is out.

<< < (7/7)

Jenna:

--- Quote from: ollydbg on October 12, 2013, 02:46:52 pm ---
--- Quote from: ollydbg on August 12, 2013, 03:51:58 am ---
--- Quote from: jens on August 12, 2013, 01:36:10 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.


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


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


--- End quote ---
Committed to trunk (svn r9398).

Jens

ollydbg:

--- Quote from: jens on October 12, 2013, 06:27:39 pm ---
--- Quote from: ollydbg on October 12, 2013, 02:46:52 pm ---
--- Quote from: ollydbg on August 12, 2013, 03:51:58 am ---
--- Quote from: jens on August 12, 2013, 01:36:10 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.


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


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


--- End quote ---
Committed to trunk (svn r9398).

Jens

--- End quote ---
Thank you.

Navigation

[0] Message Index

[*] Previous page