Opened 6 years ago

Closed 6 years ago

#185 closed defect (fixed)

quick help throws an exception in stable version (tgz version)

Reported by: stefan Owned by: stefan
Priority: major Milestone: 0.3
Component: editor Version:
Keywords: Cc:
Blocked By: Blocking:
Parent Tickets:

Description

Exception in thread "AWT-EventQueue-0" java.lang.ClassCastException: sun.net.www.protocol.jar.JarURLConnection$JarURLInputStream cannot be cast to java.io.BufferedInputStream
        at jlatexeditor.quickhelp.HelpUrlHandler.getHelpTextAt(HelpUrlHandler.java:59)
        at jlatexeditor.quickhelp.HelpUrlHandler$1.getInputStream(HelpUrlHandler.java:46)
        at javax.swing.JEditorPane.getStream(JEditorPane.java:827)
        at javax.swing.JEditorPane.setPage(JEditorPane.java:433)
        at javax.swing.JEditorPane.setPage(JEditorPane.java:939)
        at sce.quickhelp.QuickHelpPane.keyPressed(QuickHelpPane.java:132)
        at java.awt.AWTEventMulticaster.keyPressed(AWTEventMulticaster.java:250)
        at java.awt.Component.processKeyEvent(Component.java:6226)
        at javax.swing.JComponent.processKeyEvent(JComponent.java:2801)
        at java.awt.Component.processEvent(Component.java:6045)
        at java.awt.Container.processEvent(Container.java:2045)
        at java.awt.Component.dispatchEventImpl(Component.java:4629)
        at java.awt.Container.dispatchEventImpl(Container.java:2103)
        at java.awt.Component.dispatchEvent(Component.java:4455)
        at java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1881)
        at java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:759)
        at java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:1035)
        at java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:902)
        at java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:724)
        at java.awt.Component.dispatchEventImpl(Component.java:4499)
        at java.awt.Container.dispatchEventImpl(Container.java:2103)
        at java.awt.Window.dispatchEventImpl(Window.java:2517)
        at java.awt.Component.dispatchEvent(Component.java:4455)
        at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:649)
        at java.awt.EventQueue.access$000(EventQueue.java:96)
        at java.awt.EventQueue$1.run(EventQueue.java:608)
        at java.awt.EventQueue$1.run(EventQueue.java:606)
        at java.security.AccessController.doPrivileged(Native Method)
        at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:105)
        at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:116)
        at java.awt.EventQueue$2.run(EventQueue.java:622)
        at java.awt.EventQueue$2.run(EventQueue.java:620)
        at java.security.AccessController.doPrivileged(Native Method)
        at java.security.AccessControlContext$1.doIntersectionPrivilege(AccessControlContext.java:105)
        at java.awt.EventQueue.dispatchEvent(EventQueue.java:619)
        at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:275)
        at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:200)
        at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:190)
        at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:185)
        at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:177)
        at java.awt.EventDispatchThread.run(EventDispatchThread.java:138)

Subtickets

Change History (2)

comment:1 Changed 6 years ago by stefan

  • Owner set to stefan
  • Status changed from new to assigned

comment:2 Changed 6 years ago by stefan

  • Resolution set to fixed
  • Status changed from assigned to closed
Note: See TracTickets for help on using tickets.