From 35279be3c7092dd6dc33e03ca5f09c01670a581e Mon Sep 17 00:00:00 2001
From: Florian Zeitz <florob@babelmonkeys.de>
Date: Wed, 6 Oct 2010 19:21:13 +0200
Subject: [PATCH 1/1] Convert newlines to <br/>, for better readability

---
 js/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/main.js b/js/main.js
index 1011dc8..4db92c8 100644
--- a/js/main.js
+++ b/js/main.js
@@ -51,6 +51,7 @@ function addNote(elem, text, type) {
     if (!type) {
        type = "info";
     }
+    text = text.replace(/\n/g, "<br/>");
     $(elem).append("<p class='" + type + "Note'>" + text + "</p>");
 }
 
-- 
2.39.5