# HG changeset patch
# User raph
# Date 1271406894 -7200
# Node ID 81842341dc5a833d8df747e9094faf665dfb760d
# Parent  3eb5299e8085d772e459a90f8a5831a74f5fa715
cleanup diff for human reading

diff -r 3eb5299e8085 -r 81842341dc5a src/cm/media/css/base.css
--- a/src/cm/media/css/base.css	Thu Apr 15 14:35:44 2010 +0200
+++ b/src/cm/media/css/base.css	Fri Apr 16 10:34:54 2010 +0200
@@ -189,6 +189,8 @@
 
 .diff-context {
 	background-color: #EEEEEE;
+	width: 42%;
+	vertical-align: top; 
 }
 
 .diff-addedline {
diff -r 3eb5299e8085 -r 81842341dc5a src/cm/views/texts.py
--- a/src/cm/views/texts.py	Thu Apr 15 14:35:44 2010 +0200
+++ b/src/cm/views/texts.py	Fri Apr 16 10:34:54 2010 +0200
@@ -597,8 +597,10 @@
                 
                 minus, plus = '<br />'.join(minus), '<br />'.join(plus)                
                 dif = diff_match_patch2()
-                p = dif.diff_prettyHtml_one_way(dif.diff_main(minus, plus), 1)
-                minus = dif.diff_prettyHtml_one_way(dif.diff_main(minus, plus), 2)
+                res_diff1 = dif.diff_main(minus, plus)
+                dif.diff_cleanupSemantic(res_diff1)
+                p = dif.diff_prettyHtml_one_way(res_diff1, 1)
+                minus = dif.diff_prettyHtml_one_way(res_diff1, 2)
                 plus = p
                 res.append('<tr><td class="diff-marker">-</td><td class="diff-deletedline">%s</td><td class="diff-separator"></td><td class="diff-marker">+</td><td class="diff-addedline">%s</td></tr>' % (minus, plus))