src/Tools/jEdit/src/rich_text_area.scala

 package isabelle.jedit
 
 
 import isabelle._
 
-import java.awt.{Graphics2D, Shape, Window, Color, Point, Toolkit}
+import java.awt.{Graphics2D, Shape, Color, Point, Toolkit}
 import java.awt.event.{MouseMotionAdapter, MouseAdapter, MouseEvent,
   FocusAdapter, FocusEvent, WindowEvent, WindowAdapter}
 import java.awt.font.TextAttribute
 import java.text.AttributedString
 import java.util.ArrayList