# HG changeset patch
# User wenzelm
# Date 1312751287 -7200
# Node ID 919e2bde720236784d9d66ce8544169453a6a530
# Parent  63c158415dbbdd19877c1bf1726d1a4c9b1ac2aa
workaround for Java 1.7 where javax.swing.JComboBox<E> is generic;

diff -r 63c158415dbb -r 919e2bde7202 src/Tools/jEdit/src/isabelle_options.scala
--- a/src/Tools/jEdit/src/isabelle_options.scala	Sun Aug 07 23:05:50 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Sun Aug 07 23:08:07 2011 +0200
@@ -27,7 +27,8 @@
 
   override def _init()
   {
-    addComponent(Isabelle.Property("logic.title"), logic_selector.peer)
+    addComponent(Isabelle.Property("logic.title"),
+      logic_selector.peer.asInstanceOf[java.awt.Component])
 
     addComponent(Isabelle.Property("auto-start.title"), auto_start.peer)
     auto_start.selected = Isabelle.Boolean_Property("auto-start")