Wed Dec 15 1999, Andre' Poenitz ->
> >
> > IMHO, you either should use only tabs to indent, or only spaces.
> > Otherwise, you'll have problems when:
> > * Showing in a proportional font
> > * Showing with a different tab setting (!=3D 8)
>
> Erm, exactly that is the patch supposed to do. Since most of the lyx
> sources are tab-indented I changed the remaining 8-space indentation to
> tabs. Does this sound wrong?
Aha, sorry, my mistake. You are a good guy after all!
n.
--
[ http://www.dtek.chalmers.se/~d95mback/ ] [ PGP: 0x453504F1 ] [ UIN: 4439498 ]
Opinions expressed above are mine, and not those of my future employees.
Skingra er! Det finns ingenting att förstå!
PGP signature