src/Tools/jEdit/src/jedit/document_overview.scala
changeset 34760 dc7f5e0d9d27
parent 34759 bfea7839d9e1
child 34777 91d6089cef88
     1.1 --- a/src/Tools/jEdit/src/jedit/document_overview.scala	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/document_overview.scala	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -6,8 +6,8 @@
     1.4  
     1.5  package isabelle.jedit
     1.6  
     1.7 -import isabelle.prover.{Prover, Command}
     1.8 -import isabelle.proofdocument.ProofDocument
     1.9 +
    1.10 +import isabelle.proofdocument.{Command, Proof_Document, Prover, Theory_View}
    1.11  
    1.12  import javax.swing.{JPanel, ToolTipManager}
    1.13  import java.awt.event.{MouseAdapter, MouseEvent}
    1.14 @@ -21,7 +21,7 @@
    1.15  class Document_Overview(
    1.16      prover: Prover,
    1.17      text_area: JEditTextArea,
    1.18 -    to_current: (ProofDocument, Int) => Int)
    1.19 +    to_current: (Proof_Document, Int) => Int)
    1.20    extends JPanel(new BorderLayout)
    1.21  {
    1.22    private val WIDTH = 10
    1.23 @@ -67,7 +67,7 @@
    1.24        val line2 = buffer.getLineOfOffset(to_current(doc, command.stop(doc))) + 1
    1.25        val y = line_to_y(line1)
    1.26        val height = HEIGHT * (line2 - line1)
    1.27 -      gfx.setColor(TheoryView.choose_color(command, doc))
    1.28 +      gfx.setColor(Theory_View.choose_color(command, doc))
    1.29        gfx.fillRect(0, y, getWidth - 1, height)
    1.30      }
    1.31    }