devices/grohtml/post-html.cpp

34 #include "html-table.h"
506   html_table     *tab;                  // table description
609  *                          as the whole of the table is created as an image.
901  *  remember_table - saves table, t, in the text_glob.
912  *  get_table - returns the stored table description.
1974   html_table          *table;
2237  *                            the context of a table. Those tags which
2679  *  shutdown_table - shuts down the current table.
2684   if (table != NULL) {
2686     table->emit_finish_table();
2687     // dont delete this table as it will be deleted when we destroy the text_glob
2688     table = NULL;
2695  *              then we start a html table to implement the indentation.
2976   if (n>0 && table)
2977     table->set_space(TRUE);
2988  *  do_tab_ts - start a table, which will have already been defined.
3016   table = t;
3020  *  do_tab_te - finish a table.
3025   if (table) {
3028     table->emit_finish_table();
3031   table = NULL;
3041   if (table) {
3045     int col = table->find_column(atoi(s) + pageoffset + get_troff_indent());
3048       table->emit_col(col);
3059   if (table) {
3060     int col = table->find_column(pageoffset+get_troff_indent());
3063       table->emit_col(col);
3074   if (table) {
3080     table->emit_col(current_column);
3312   page_contents->insert_tag(string("devtag:.tab-ts"));  // tab table start
3332   page_contents->insert_tag(string("devtag:.tab-te"));  // tab table end
3488  *  add_table_end - moves left one glyph, adds a table end tag and adds a
3506  *  lookahead_for_tables - checks for .col tags and inserts table
3650 	// we are in a table and have a glyph
4173   table(NULL),
4663   fputs("       table { margin-top: 0; margin-bottom: 0; }\n", stdout);