From 757259623cca7cd1114e52a12bc01fe424361255 Mon Sep 17 00:00:00 2001 From: adam Date: Wed, 28 Jan 2009 14:04:33 -0800 Subject: [PATCH] handle LeftArrow and Rightarrow properly in Html darcs-hash:20090128220433-5007d-a4650f68a36fd46f4d552be3c5bec3d9cdaaa47a.gz --- src/Doc.lhs | 2 +- src/Html.lhs | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Doc.lhs b/src/Doc.lhs index 6d1baa7..f8336f5 100644 --- a/src/Doc.lhs +++ b/src/Doc.lhs @@ -46,7 +46,7 @@ data Text = WS data Glyph = Euro | CircleR | CircleC | TradeMark | ServiceMark | Emdash | Ellipsis | Cent | Daggar | DoubleDaggar | Clover | Flat | Sharp | Natural | CheckMark | XMark - | LeftArrow | DoubleLeftArrow | DoubleRightArrow + | LeftArrow | RightArrow | DoubleLeftArrow | DoubleRightArrow | DoubleLeftRightArrow | LeftRightArrow | Degree data Login = Login String (Maybe String) diff --git a/src/Html.lhs b/src/Html.lhs index 74259f7..1989e64 100644 --- a/src/Html.lhs +++ b/src/Html.lhs @@ -284,7 +284,8 @@ instance ToHtml Text where toHtml (GlyphText Sharp) = "⋘" toHtml (GlyphText CheckMark) = "✓" toHtml (GlyphText XMark) = "✗" - toHtml (GlyphText LeftArrow) = "&#;" -- FIXME + toHtml (GlyphText LeftArrow) = "←" + toHtml (GlyphText RightArrow) = "→" toHtml (GlyphText DoubleLeftArrow) = "&#;" -- FIXME toHtml (GlyphText DoubleRightArrow) = "&#;" -- FIXME toHtml (GlyphText DoubleLeftRightArrow) = "&#;" -- FIXME -- 1.7.10.4