# HG changeset patch
# User bsw
# Date 1288565460 -3600
# Node ID 105abd1d499698dbb8781a81ae83ac9aef3619c9
# Parent  02aacb3dffe0d18301033454360a6a6af10928d6
Respect newlines in suggestions instead of pre-formatting them

diff -r 02aacb3dffe0 -r 105abd1d4996 app/main/suggestion/_suggestion.lua
--- a/app/main/suggestion/_suggestion.lua	Sun Oct 31 23:38:43 2010 +0100
+++ b/app/main/suggestion/_suggestion.lua	Sun Oct 31 23:51:00 2010 +0100
@@ -12,10 +12,7 @@
     ui.container{
       attr = { class = "suggestion_content wiki" },
       content = function()
-        ui.tag{
-          tag = "pre",
-          content = suggestion.description
-        }
+        slot.put(encode.html_newlines(suggestion.description))
       end
     }
   end
diff -r 02aacb3dffe0 -r 105abd1d4996 static/style.css
--- a/static/style.css	Sun Oct 31 23:38:43 2010 +0100
+++ b/static/style.css	Sun Oct 31 23:51:00 2010 +0100
@@ -999,9 +999,8 @@
 }
 
 
-.suggestion_content,
 #suggestion_description {
-  font-family: monospace;
+  height: 15ex;
 }
 
 .diff {