Re: [Patch] Re: Fixing bugs 1844,1845

2005-03-27 Thread Martin Vermeer
On Sun, Mar 27, 2005 at 11:40:41AM +0200, Juergen Spitzmueller wrote: > Martin Vermeer wrote: > > Here it is. Works a dream. > > cool. > > > Are there any other parameters that behave in this way? > > Yes: > > - float_placement > - paperwidth > - paperheight > - *margin > - headheight > - heads

Re: [Patch] Re: Fixing bugs 1844,1845

2005-03-27 Thread Juergen Spitzmueller
Martin Vermeer wrote: > Here it is. Works a dream. cool. > Are there any other parameters that behave in this way? Yes: - float_placement - paperwidth - paperheight - *margin - headheight - headsep - footskip Happy Easter, Jürgen

Re: [Patch] Re: Fixing bugs 1844,1845

2005-03-27 Thread Martin Vermeer
On Sat, Mar 26, 2005 at 06:55:58PM +0100, Lars Gullik Bjønnes wrote: > Martin Vermeer <[EMAIL PROTECTED]> writes: > > | @@ -394,6 +395,10 @@ > | int unknown_tokens = 0; > | int line = -1; > | int begin_header_line = -1; > | + > | + // Initialize parameters that may be/go lacking in h

Re: [Patch] Re: Fixing bugs 1844,1845

2005-03-26 Thread Lars Gullik Bjønnes
Martin Vermeer <[EMAIL PROTECTED]> writes: | @@ -394,6 +395,10 @@ | int unknown_tokens = 0; | int line = -1; | int begin_header_line = -1; | + | + // Initialize parameters that may be/go lacking in header: | + params().branchlist().clear(); | + params().options = stri

[Patch] Re: Fixing bugs 1844,1845

2005-03-26 Thread Martin Vermeer
On Sat, Mar 26, 2005 at 03:03:02PM +0100, Juergen Spitzmueller wrote: > Martin Vermeer wrote: > > The options problem is in bufferparams.C: > > > >     623         // the options > >     624         if (!options.empty()) { > >     625                 os << "\\options " << options << '\n'; > >     6