add a way to configure the margin of printing

[KaiMartin]

Currently, there is no user accessible way to set the margin of "print extents with margins".

Proposal: Make this quantity configurable. It should be set in a gschemrc and the print dialog should provide a way to override.

---<)kaimartin(>---

[Peter TB Brett (peter-b)]

Determining the printer margin should be set automatically by interrogating the selected printer. Any config file setting should be strictly optional.

[KaiMartin (kmk-familieknaak)]

@Peter: What do you mean by "strictly optional"?
Do you say, that the margin is currently not set by gschem but by some interaction with the environment?

In my environment not all printers are real and not all of them report the correct size when asked for the maximum printable area. In addition, I don't have access to the printer configs. Printer details are provided by a print server that may or may not interact correctly with the printers themselves.

All I am asking for, is the ability to override whatever the margin is set to now. This current setting just does not work properly under all circumstances. Yes, this kind of manual override is a crutch for a not properly working print environment. But print environments will not all be working perfectly any time soon.

---<)kaimartin(>---

[Peter TB Brett (peter-b)]

At the moment, the margin is set by a hard-coded magic number -- there is no config variable or clever hardware-margins code.

What I'm saying is that, ideally, by default the margin should be set by talking to a printer, i.e. you shouldn't *need* to fiddle with the config to get a margin appropriate to your configuration. Of course, in some cases, such as when your printer is lying about its margins, you may need to override that (although IMHO you should fix the printer :-P).

[Peter Clifton (pcjc2)]

Remember that margins for PS or PDF export may still need to be set explicitly

GTK print dialog should take care of all of this though - if / when we move.

[Peter TB Brett (peter-b)]

gschem now uses GTK print dialog. Margins are set by interrogating printer and/or paper size database. If you need specific margins, I recommend using the PDF export function and then setting your desired margins with a different tool.