Bug was fixed by a commit git master commit d1777b845a542ea44ad9bfeab881f120f68f4837 http://git.geda-project.org/geda-gaf/commit/?id=d1777b845a542ea44ad9bfeab881f120f68f4837
commit d1777b845a542ea44ad9bfeab881f120f68f4837 Author: Gareth Edwards <email address hidden> Commit: Gareth Edwards <email address hidden>
gaf: parse margins from config into correct settings field
Margins in the configuration were being copied into the size field of the settings variable. Put it into the right place.
Coverity-ID: 746986 Coverity-ID: 746989
Closes-bug: lp-1088041
Bug was fixed by a commit 44ad9bfeab881f1 20f68f4837 git.geda- project. org/geda- gaf/commit/ ?id=d1777b845a5 42ea44ad9bfeab8 81f120f68f4837
git master commit d1777b845a542ea
http://
commit d1777b845a542ea 44ad9bfeab881f1 20f68f4837
Author: Gareth Edwards <email address hidden>
Commit: Gareth Edwards <email address hidden>
gaf: parse margins from config into correct settings field
Margins in the configuration were being copied into the size field of
the settings variable. Put it into the right place.
Coverity-ID: 746986
Coverity-ID: 746989
Closes-bug: lp-1088041