Hi, When setting the SetUseGerberExtensions() in python, the choice was not honored. This is fixing it.
Suggested commit message: Fix Plotcontroller to make SetUseGerberExtensions() work as expected. Find patch here: https://github.com/hzeller/kicad/compare/master...hzeller:fix-usegerberextension-scripting.diff -h _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : kicad-developers@lists.launchpad.net Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
