[Goodies-dev] [Bug 9074] Add margin toggle option

[bugzilla-daemon at xfce.org]

https://bugzilla.xfce.org/show_bug.cgi?id=9074

Miguel Guedes <miguel.a.guedes at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #4535|0                           |1
        is obsolete|                            |

--- Comment #4 from Miguel Guedes <miguel.a.guedes at gmail.com> ---
Created attachment 4537
  --> https://bugzilla.xfce.org/attachment.cgi?id=4537&action=edit
FIXED: Patch: add margin toggle option

Patch #4535 contains duplicate code found in bug id 9073
(https://bugzilla.xfce.org/attachment.cgi?bugid=9073) which means it won't
apply correctly IF it is applied after the patch found in bug 9073.

This new, fixed, patch depends on the bug described at the URL above (bug
#9073) being first patched. Correct sequence is then: fix bug 9073, then apply
this patch.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.