diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-01-03 22:51:31 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-01-03 22:51:31 +0100 |
| commit | 816b74acd5396ef095e57909305881c6094e1dce (patch) | |
| tree | 5fde9d30bb55c08c5dfb57b65506eb48a30ff9f4 /src/html_common.hh | |
| parent | e69f62f1c5d75ad4b101dc2d74323ae62556ba33 (diff) | |
remove a_Html_set_top_font() which is no longer used
Diffstat (limited to 'src/html_common.hh')
| -rw-r--r-- | src/html_common.hh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/html_common.hh b/src/html_common.hh index fb470c27..aaab4861 100644 --- a/src/html_common.hh +++ b/src/html_common.hh @@ -273,7 +273,5 @@ void a_Html_tag_set_align_attr(DilloHtml *html, CssPropertyList *props, bool a_Html_tag_set_valign_attr(DilloHtml *html, const char *tag, int tagsize, CssPropertyList *props); -void a_Html_set_top_font(DilloHtml *html, const char *name, int size, - int BI, int BImask); #endif /* __HTML_COMMON_HH__ */ |