Mercurial Mercurial > repos > isabelle / diff
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/plugin.scala
changeset 65243 ba5ce07e06a7
parent 65242 63a64779d586
child 65244 1f53b9470116 
--- a/src/Tools/jEdit/src/plugin.scala	Tue Mar 14 21:24:33 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Tue Mar 14 21:26:25 2017 +0100
@@ -38,9 +38,6 @@
 
   @volatile var session: Session = new Session(JEdit_Resources.empty)
 
-  def options_changed() { if (plugin != null) plugin.options_changed() }
-  def deps_changed() { if (plugin != null) plugin.deps_changed() }
-
   def resources(): JEdit_Resources =
     session.resources.asInstanceOf[JEdit_Resources]
isabelle