Hi Tassilo, > Am 05.03.2022 um 09:40 schrieb Tassilo Horn <[email protected]>: > >>>> the background color does not extent to the right hand side of the >>>> window pane, as it does in your example screenshot. > > […] > Great. I wonder if we should make that the default. Any opinions?
My opinion is very clear: extended background. You’ll get a sharp distinction between documentation and actual code, while the various lenght stripes blurr this effect. It make it hard to line. I surely will vote for inverting the default. > [… discussion about missing latex3doc macros …] > > Well, it seems our dtx support is a bit lacking behind. Unfortunately, > I don't really have any experience with docTeX so I'm not sure what > would be the right thing. I am just starting to dive into using doc and especially l3doc. Bye Jan -- Jan Braun (er/ihm) [email protected] === ypchsh /usr/local/bin/emacs === go FORTH now … ===
