diff options
| author | Jeremy Katz <katzj@redhat.com> | 2003-10-30 14:19:38 +0000 |
|---|---|---|
| committer | Jeremy Katz <katzj@redhat.com> | 2003-10-30 14:19:38 +0000 |
| commit | 9aeaa33bdb6c7857a41db43f1d34371c5e39ee90 (patch) | |
| tree | cf134c52fd462ebd495d8aecfa1dcd48292fb627 /htmlbuffer.py | |
| parent | c63d54fb2fac0e656590aaf8c91fd0e67d5edc63 (diff) | |
| download | anaconda-9aeaa33bdb6c7857a41db43f1d34371c5e39ee90.tar.gz anaconda-9aeaa33bdb6c7857a41db43f1d34371c5e39ee90.tar.xz anaconda-9aeaa33bdb6c7857a41db43f1d34371c5e39ee90.zip | |
handle <pre> (#108587)
Diffstat (limited to 'htmlbuffer.py')
| -rw-r--r-- | htmlbuffer.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/htmlbuffer.py b/htmlbuffer.py index c027d739b..885e9c67d 100644 --- a/htmlbuffer.py +++ b/htmlbuffer.py @@ -57,6 +57,9 @@ class HTMLBuffer(HTMLParser.HTMLParser): tag = self.buffer.create_tag('keycap') tag.set_property('font', 'Monospace %d' % (baseSize,)) + tag = self.buffer.create_tag('pre') + tag.set_property('font', 'Monospace %d' % (baseSize,)) + tag = self.buffer.create_tag('a') tag.set_property('font', '%s %d' % (baseFont, baseSize)) |