gEDA project

Comment 4 for bug 699164

Revision history for this message

Bert Timmerman (bert-timmerman) wrote on 2012-09-09:

Removed padding pixels.

Optional patch for those who need every obsolete pixel to be removed.

To be applied after:

0001-Allow-the-coordinate-position_hbox-to-expand-and-fil.patch

Kind regards,

Bert Timmerman.