Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 08 Dec 2009 20:13:07 +0100
changeset 34764 581e919c8730
parent 34763 eb0f4a9ec052
child 34765 63ba7f0931e2
tuned;
src/Tools/jEdit/src/jedit/plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 18:00:05 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 20:13:07 2009 +0100
@@ -111,7 +111,7 @@
   private def uninstall(view: View) =
     mapping.removeKey(view.getBuffer).get.deactivate
 
-  def switch_active (view: View) =
+  def switch_active(view: View) =
     if (mapping.isDefinedAt(view.getBuffer)) uninstall(view)
     else install(view)
isabelle