src/Tools/jEdit/src/plugin.scala
changeset 50208 1382ad6d4774
parent 50207 54be125d8cdc
child 50209 907373a080b9
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Sun Nov 25 21:23:20 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Sun Nov 25 21:35:29 2012 +0100
     1.3 @@ -17,7 +17,6 @@
     1.4  import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
     1.5  import org.gjt.sp.jedit.syntax.{Token => JEditToken, ModeProvider}
     1.6  import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged}
     1.7 -import org.gjt.sp.jedit.gui.DockableWindowManager
     1.8  
     1.9  import org.gjt.sp.util.SyntaxUtilities
    1.10  
    1.11 @@ -104,35 +103,6 @@
    1.12        Document_View.exit(text_area)
    1.13      }
    1.14    }
    1.15 -
    1.16 -
    1.17 -  /* dockable windows */
    1.18 -
    1.19 -  private def wm(view: View): DockableWindowManager = view.getDockableWindowManager
    1.20 -
    1.21 -  def docked_session(view: View): Option[Session_Dockable] =
    1.22 -    wm(view).getDockableWindow("isabelle-session") match {
    1.23 -      case dockable: Session_Dockable => Some(dockable)
    1.24 -      case _ => None
    1.25 -    }
    1.26 -
    1.27 -  def docked_output(view: View): Option[Output_Dockable] =
    1.28 -    wm(view).getDockableWindow("isabelle-output") match {
    1.29 -      case dockable: Output_Dockable => Some(dockable)
    1.30 -      case _ => None
    1.31 -    }
    1.32 -
    1.33 -  def docked_raw_output(view: View): Option[Raw_Output_Dockable] =
    1.34 -    wm(view).getDockableWindow("isabelle-raw-output") match {
    1.35 -      case dockable: Raw_Output_Dockable => Some(dockable)
    1.36 -      case _ => None
    1.37 -    }
    1.38 -
    1.39 -  def docked_protocol(view: View): Option[Protocol_Dockable] =
    1.40 -    wm(view).getDockableWindow("isabelle-protocol") match {
    1.41 -      case dockable: Protocol_Dockable => Some(dockable)
    1.42 -      case _ => None
    1.43 -    }
    1.44  }
    1.45  
    1.46