| 402 | // ------------------------------------------------------------------------------------------------- |
| 403 | |
| 404 | void htmlify ( |
| 405 | istream& in, |
| 406 | ostream& out, |
| 407 | const std::string& title, |
| 408 | bool colored, |
| 409 | bool number_lines |
| 410 | ) |
| 411 | { |
| 412 | if (colored) |
| 413 | { |
| 414 | static cprinter cp; |
| 415 | if (number_lines) |
| 416 | { |
| 417 | cp.print_and_number(in,out,title); |
| 418 | } |
| 419 | else |
| 420 | { |
| 421 | cp.print(in,out,title); |
| 422 | } |
| 423 | } |
| 424 | else |
| 425 | { |
| 426 | static bprinter bp; |
| 427 | if (number_lines) |
| 428 | { |
| 429 | bp.print_and_number(in,out,title); |
| 430 | } |
| 431 | else |
| 432 | { |
| 433 | bp.print(in,out,title); |
| 434 | } |
| 435 | } |
| 436 | } |
| 437 | |
| 438 | // ------------------------------------------------------------------------------------------------- |
| 439 | |