From 9aeaa33bdb6c7857a41db43f1d34371c5e39ee90 Mon Sep 17 00:00:00 2001
From: Jeremy Katz <katzj@redhat.com>
Date: Thu, 30 Oct 2003 14:19:38 +0000
Subject: handle <pre> (#108587)

---
 htmlbuffer.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'htmlbuffer.py')

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))
 
-- 
cgit