Am Fr., 3. Jan. 2025 um 12:08 Uhr schrieb Simon Albrecht <simon.albre...@mail.de>: > > On 02.01.25 22:41, Thomas Morley wrote: > > page-color = "navajowhite" > > page-background-color = #'(0.7 0.7 0.7) > > What is your reasoning to stick with page-color for the “foreground”, > i.e. printed elements? I’d love to avoid confusion and have shorter > names by just using > > print-color and > background-color > > or maybe default-print-color/print-color-default/print-color-global for > the former? > > Best, Simon
No special reason, change them as you like. Cheers, Harm
