Apply patch submitted by Jens Luedicke <perldude@xfce.org> for the margins plugin (Old svn revision: 11790)