kliment/Printrun — pull request #419 by eldir (2013-08-06 22:49:17+00:00)
Title: Made default extrusion length a setting

Added "extrusion_default" to settings and made it editable via settings
file. Setting is not written back when the user changes it through the
gui.