# HG changeset patch
# User wenzelm
# Date 1283157415 -7200
# Node ID 35b2d91e88d762db11e8183f893633831c729ca1
# Parent  eb6a35be18ca13755167bbdb7d497c173b6d9de9
Document_View.text_area_extension: do not insist in crashing if (weak) assertion is violated;

diff -r eb6a35be18ca -r 35b2d91e88d7 src/Tools/jEdit/src/jedit/document_view.scala
--- a/src/Tools/jEdit/src/jedit/document_view.scala	Sun Aug 29 22:47:36 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/document_view.scala	Mon Aug 30 10:36:55 2010 +0200
@@ -175,7 +175,7 @@
                   text_area.offsetToXY(line_start max snapshot.convert(command_start))
                 val q =
                   text_area.offsetToXY(line_end min snapshot.convert(command_start + command.length))
-                assert(p.y == q.y)
+                if (p.y != q.y) System.err.println("Unexpected coordinates: " + p + ", " + q)
                 gfx.setColor(Document_View.choose_color(snapshot, command))
                 gfx.fillRect(p.x, y, q.x - p.x, line_height)
               }