1 |
// -*- C++ -*- |
// -*- C++ -*- |
2 |
/* Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc. |
/* Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005 |
3 |
|
* Free Software Foundation, Inc. |
4 |
* |
* |
5 |
* Gaius Mulley (gaius@glam.ac.uk) wrote html-text.h |
* Gaius Mulley (gaius@glam.ac.uk) wrote html-text.h |
6 |
* |
* |
29 |
#include "html.h" |
#include "html.h" |
30 |
#include "html-table.h" |
#include "html-table.h" |
31 |
|
|
32 |
|
#define STYLE_VERTICAL_SPACE "1em" |
33 |
|
|
34 |
/* |
/* |
35 |
* html tags |
* html tags |
36 |
*/ |
*/ |
44 |
void *arg1; |
void *arg1; |
45 |
int text_emitted; |
int text_emitted; |
46 |
color col; |
color col; |
|
int really_issued; |
|
47 |
html_indent *indent; |
html_indent *indent; |
48 |
tag_definition *next; |
tag_definition *next; |
49 |
} tag_definition ; |
} tag_definition ; |
67 |
void do_pre (void); |
void do_pre (void); |
68 |
void do_small (void); |
void do_small (void); |
69 |
void do_big (void); |
void do_big (void); |
70 |
void do_para (const char *arg); // used for no indentation |
void do_para (const char *arg, int space); // used for no indentation |
71 |
void do_para (simple_output *op, const char *arg1, |
void do_para (simple_output *op, const char *arg1, |
72 |
int indentation, int pageoffset, int linelength); |
int indentation, int pageoffset, int linelength, |
73 |
|
int space); |
74 |
void do_sup (void); |
void do_sup (void); |
75 |
void do_sub (void); |
void do_sub (void); |
76 |
void do_space (void); |
void do_space (void); |
91 |
int emitted_text (void); |
int emitted_text (void); |
92 |
int ever_emitted_text (void); |
int ever_emitted_text (void); |
93 |
int starts_with_space (void); |
int starts_with_space (void); |
94 |
|
int retrieve_para_space (void); |
95 |
void emit_space (void); |
void emit_space (void); |
96 |
int is_in_pre (void); |
int is_in_pre (void); |
97 |
int uses_indent (void); |
int uses_indent (void); |
116 |
int is_present (HTML_TAG t); |
int is_present (HTML_TAG t); |
117 |
void end_tag (tag_definition *t); |
void end_tag (tag_definition *t); |
118 |
void start_tag (tag_definition *t); |
void start_tag (tag_definition *t); |
119 |
void do_para (const char *arg, html_indent *in); |
void do_para (const char *arg, html_indent *in, int space); |
120 |
void push_para (HTML_TAG t); |
void push_para (HTML_TAG t); |
121 |
void push_para (HTML_TAG t, void *arg, html_indent *in); |
void push_para (HTML_TAG t, void *arg, html_indent *in); |
122 |
void push_para (color *c); |
void push_para (color *c); |
124 |
char *shutdown (HTML_TAG t); |
char *shutdown (HTML_TAG t); |
125 |
void check_emit_text (tag_definition *t); |
void check_emit_text (tag_definition *t); |
126 |
int remove_break (void); |
int remove_break (void); |
127 |
void issue_tag (const char *tagname, const char *arg); |
void issue_tag (const char *tagname, const char *arg, int space=2); |
128 |
void issue_color_begin (color *c); |
void issue_color_begin (color *c); |
129 |
void remove_def (tag_definition *t); |
void remove_def (tag_definition *t); |
130 |
html_indent *remove_indent (HTML_TAG tag); |
html_indent *remove_indent (HTML_TAG tag); |