# HG changeset patch
# User wenzelm
# Date 1357328529 -3600
# Node ID e7b2cfcef94c55e673147b9c27e291df02cfd5d2
# Parent  76ae4e6318fbf6adbb27b1b18e0cb4a1e49c766c
updated to jedit_build-20130104;

diff -r 76ae4e6318fb -r e7b2cfcef94c Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 04 20:39:41 2013 +0100
+++ b/Admin/components/components.sha1	Fri Jan 04 20:42:09 2013 +0100
@@ -18,6 +18,7 @@
 7b012f725ec1cc102dc259df178d511cc7890bba  jedit_build-20120813.tar.gz
 8e1d36f5071e3def2cb281f7fefe9f52352cb88f  jedit_build-20120903.tar.gz
 8fa0c67f59beba369ab836562eed4e56382f672a  jedit_build-20121201.tar.gz
+06e9be2627ebb95c45a9bcfa025d2eeef086b408  jedit_build-20130104.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
 5f95c96bb99927f3a026050f85bd056f37a9189e  kodkodi-1.5.2.tar.gz
diff -r 76ae4e6318fb -r e7b2cfcef94c Admin/components/main
--- a/Admin/components/main	Fri Jan 04 20:39:41 2013 +0100
+++ b/Admin/components/main	Fri Jan 04 20:42:09 2013 +0100
@@ -3,7 +3,7 @@
 e-1.6
 exec_process-1.0.3
 jdk-7u9
-jedit_build-20121201
+jedit_build-20130104
 jfreechart-1.0.14
 kodkodi-1.5.2
 polyml-5.5.0
diff -r 76ae4e6318fb -r e7b2cfcef94c src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Fri Jan 04 20:39:41 2013 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Fri Jan 04 20:42:09 2013 +0100
@@ -16,8 +16,9 @@
 plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
 plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00
 plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0
-plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.0
+plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1
 plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4
+plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 1.9.10
 
 #options
 plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
diff -r 76ae4e6318fb -r e7b2cfcef94c src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 20:39:41 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Jan 04 20:42:09 2013 +0100
@@ -205,7 +205,7 @@
 line-end.shortcut=END
 line-home.shortcut=HOME
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
-plugin.MacOSXPlugin.altDispatcher=true
+plugin.MacOSXPlugin.altDispatcher=false
 plugin.MacOSXPlugin.disableOption=true
 print.font=IsabelleText
 restore.remote=false