Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/graphview_dockable.scala
changeset 66591 6efa351190d0
parent 66114 c137a9f038a6
child 69358 71ef6e6da3dc
equal deleted inserted replaced
66590:8e1aac4eed11 66591:6efa351190d0 
     6 
     6 
     7 package isabelle.jedit
 
     7 package isabelle.jedit
 
     8 
     8 
     9 
     9 
    10 import isabelle._
 
    10 import isabelle._
 
       
    11 import isabelle.jedit_base.Dockable
 
    11 
    12 
    12 import javax.swing.JComponent
 
    13 import javax.swing.JComponent
 
    13 import java.awt.{Point, Font}
 
    14 import java.awt.{Point, Font}
 
    14 import java.awt.event.{WindowFocusListener, WindowEvent}
 
    15 import java.awt.event.{WindowFocusListener, WindowEvent}
 
    15 
    16
isabelle