# HG changeset patch
# User wenzelm
# Date 1397419680 -7200
# Node ID 7adad03f2cefccaa5f6f9b27434c497aa791fc14
# Parent  46a4c6b688c9634f64f9dc7fd57520b73b67d6a8
tuned;

diff -r 46a4c6b688c9 -r 7adad03f2cef src/Tools/jEdit/src/spell_checker.scala
--- a/src/Tools/jEdit/src/spell_checker.scala	Sun Apr 13 21:59:37 2014 +0200
+++ b/src/Tools/jEdit/src/spell_checker.scala	Sun Apr 13 22:08:00 2014 +0200
@@ -1,7 +1,8 @@
 /*  Title:      Tools/jEdit/src/spell_checker.scala
     Author:     Makarius
 
-Spell checker based on JOrtho (see http://sourceforge.net/projects/jortho).
+Spell checker with completion, based on JOrtho (see
+http://sourceforge.net/projects/jortho).
 */
 
 package isabelle.jedit
@@ -11,7 +12,6 @@
 
 import java.lang.Class
 import java.util.Locale
-import java.text.BreakIterator
 
 import scala.collection.mutable
 import scala.swing.ComboBox