src/Tools/jEdit/src/document_view.scala
changeset 43510 17d431c92575
parent 43448 90aec5043461
child 43520 cec9b95fa35d
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Wed Jun 22 20:21:22 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Wed Jun 22 20:25:35 2011 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4        Swing_Thread.require()
     1.5        if (model.buffer == text_area.getBuffer) body
     1.6        else {
     1.7 -        // FIXME Log.log(Log.ERROR, this, new RuntimeException("Inconsistent document model"))
     1.8 +        Log.log(Log.ERROR, this, new RuntimeException("Inconsistent document model"))
     1.9          default
    1.10        }
    1.11      }