-void BufferParams::Copy(BufferParams const &p)
-{
- paragraph_separation = p.paragraph_separation;
- defskip = p.defskip;
- quotes_language = p.quotes_language;
- quotes_times = p.quotes_times;
- fontsize = p.fontsize;
- textclass = p.textclass;
- papersize = p.papersize;
- papersize2 = p.papersize2;
- paperpackage = p.paperpackage;
- orientation = p.orientation;
- use_geometry = p.use_geometry;
- paperwidth = p.paperwidth;
- paperheight = p.paperheight;
- leftmargin = p.leftmargin;
- topmargin = p.topmargin;
- rightmargin = p.rightmargin;
- bottommargin = p.bottommargin;
- headheight = p.headheight;
- headsep = p.headsep;
- footskip = p.footskip;
- graphicsDriver = p.graphicsDriver;
- fonts = p.fonts;
- spacing = p.spacing;
- secnumdepth = p.secnumdepth;
- tocdepth = p.tocdepth;
- language = p.language;
- inputenc = p.inputenc;
- preamble = p.preamble;
- options = p.options;
- float_placement = p.float_placement;
- columns = p.columns;
- sides = p.sides;
- pagestyle = p.pagestyle;
-
- // WARNING destructor will deallocate paragraph!!
- // this is not good and will cause an error somewhere else.
- //paragraph = p.paragraph;
-
- for (int i = 0; i < 4; ++i) {
- temp_bullets[i] = p.temp_bullets[i];
- user_defined_bullets[i] = p.user_defined_bullets[i];
- }
-
- allowAccents=p.allowAccents;
- use_amsmath = p.use_amsmath;
-}
-
-
-void BufferParams::writeFile(FILE *file)