From 1979867f3ceab04c77c2ae0544b0cc773c341eac Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Tue, 13 Aug 2013 09:30:13 +0000
Subject: [PATCH] Syntax editor: minor CSS fix

---
 src/www/syntax-editor/editor.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css
index 08eb20849..83d8ca3d5 100644
--- a/src/www/syntax-editor/editor.css
+++ b/src/www/syntax-editor/editor.css
@@ -37,7 +37,7 @@ body.syntax-editor {
 
 #tree, #tree_str
 {
-  white-space:pre;
+  white-space:pre-wrap;
   font-family: monospace;
   background: rgba(238, 238, 238, 0.6);
   padding:0.5em;
@@ -125,7 +125,7 @@ body.syntax-editor {
 div#debug
 {
   font: 10px monospace;
-  white-space: pre;
+  white-space: pre-wrap;
   color: #333;
   margin: 1em 0;
   border: 1px dashed #999;