[isabelle] Isabelle2016-RC2 Java exceptions related to search/replace



Since I started using Isabelle/JEdit (under Ubuntu), I have had issues
with the Search/Replace dialog.  One that occurs very frequently is the
"Window must not be zero" exception.  I just downloaded Isabelle2016-RC2
and since it has happened now nearly immediately with that, I am reporting
it.  The stack trace is shown below.  I don't have a deterministic way to
repeat it -- it just happens often while doing search and replace, perhaps
associated with the "No more matches found, continue from the beginning"
dialog.

							- Gene Stark


java.lang.IllegalArgumentException: Window must not be zero
	at sun.awt.X11.WindowPropertyGetter.<init>(WindowPropertyGetter.java:56)
	at sun.awt.X11.WindowPropertyGetter.<init>(WindowPropertyGetter.java:73)
	at sun.awt.X11.XlibUtil.isToplevelWindow(XlibUtil.java:304)
	at sun.awt.X11.XWindowPeer.setToplevelTransientFor(XWindowPeer.java:1648)
	at sun.awt.X11.XWindowPeer.addToTransientFors(XWindowPeer.java:1797)
	at sun.awt.X11.XWindowPeer.setModalBlocked(XWindowPeer.java:1584)
	at sun.awt.X11.XDialogPeer.blockWindows(XDialogPeer.java:122)
	at java.awt.Dialog.blockWindows(Dialog.java:1578)
	at java.awt.Dialog.modalShow(Dialog.java:1455)
	at java.awt.Dialog.conditionalShow(Dialog.java:922)
	at java.awt.Dialog.show(Dialog.java:1045)
	at javax.swing.JOptionPane.showOptionDialog(JOptionPane.java:869)
	at javax.swing.JOptionPane.showConfirmDialog(JOptionPane.java:795)
	at javax.swing.JOptionPane.showConfirmDialog(JOptionPane.java:757)
	at org.gjt.sp.jedit.GUIUtilities.confirm(GUIUtilities.java:913)
	at org.gjt.sp.jedit.search.SearchAndReplace.find(SearchAndReplace.java:576)
	at org.gjt.sp.jedit.search.SearchDialog.ok(SearchDialog.java:221)
	at org.gjt.sp.jedit.search.SearchDialog$ButtonActionHandler.actionPerformed(SearchDialog.java:1092)
	at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022)
	at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2348)
	at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402)
	at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
	at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:252)
	at java.awt.Component.processMouseEvent(Component.java:6535)
	at javax.swing.JComponent.processMouseEvent(JComponent.java:3324)
	at java.awt.Component.processEvent(Component.java:6300)
	at java.awt.Container.processEvent(Container.java:2236)
	at java.awt.Component.dispatchEventImpl(Component.java:4891)
	at java.awt.Container.dispatchEventImpl(Container.java:2294)
	at java.awt.Component.dispatchEvent(Component.java:4713)
	at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4888)
	at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4525)
	at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4466)
	at java.awt.Container.dispatchEventImpl(Container.java:2280)
	at java.awt.Window.dispatchEventImpl(Window.java:2750)
	at java.awt.Component.dispatchEvent(Component.java:4713)
	at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:758)
	at java.awt.EventQueue.access$500(EventQueue.java:97)
	at java.awt.EventQueue$3.run(EventQueue.java:709)
	at java.awt.EventQueue$3.run(EventQueue.java:703)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
	at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:86)
	at java.awt.EventQueue$4.run(EventQueue.java:731)
	at java.awt.EventQueue$4.run(EventQueue.java:729)
	at java.security.AccessController.doPrivileged(Native Method)
	at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:76)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:728)
	at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
	at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.