![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png){kind=logo}
Ticket #14 (closed defect: fixed)
exception of diff viewer
| Reported by: | rena | Owned by: | |
|---|---|---|---|
| Priority: | normal | Milestone: | 0.2 |
| Component: | general | Version: | |
| Keywords: | Cc: | ||
| Blocking: | Blocked By: |
Description
Canceling diff throws the following exception:
Exception in thread "AWT-EventQueue?-0"
java.lang.ArrayIndexOutOfBoundsException?: -1
at java.util.Vector.elementAt(Vector.java:430)
at javax.swing.DefaultListModel?.getElementAt(DefaultListModel?.java:70)
at jlatexeditor.gui.LocalHistory?.valueChanged(LocalHistory?.java:117)
at javax.swing.JList.fireSelectionValueChanged(JList.java:1765)
at javax.swing.JList$ListSelectionHandler?.valueChanged(JList.java:1779)
at javax.swing.DefaultListSelectionModel?.fireValueChanged(DefaultListSelectionModel?.java:167)
at javax.swing.DefaultListSelectionModel?.fireValueChanged(DefaultListSelectionModel?.java:147)
at javax.swing.DefaultListSelectionModel?.fireValueChanged(DefaultListSelectionModel?.java:194)
at javax.swing.DefaultListSelectionModel?.removeIndexInterval(DefaultListSelectionModel?.java:660)
at javax.swing.plaf.basic.BasicListUI$Handler.intervalRemoved(BasicListUI.java:2593)
at javax.swing.AbstractListModel?.fireIntervalRemoved(AbstractListModel?.java:161)
at javax.swing.DefaultListModel?.clear(DefaultListModel?.java:490)
at jlatexeditor.gui.LocalHistory?.update(LocalHistory?.java:65)
at jlatexeditor.gui.LocalHistory?.componentShown(LocalHistory?.java:105)
at java.awt.Component.processComponentEvent(Component.java:6048)
at java.awt.Component.processEvent(Component.java:5996)
at java.awt.Container.processEvent(Container.java:2041)
at java.awt.Component.dispatchEventImpl(Component.java:4583)
at java.awt.Container.dispatchEventImpl(Container.java:2099)
at java.awt.Component.dispatchEvent(Component.java:4413)
at java.awt.EventQueue?.dispatchEvent(EventQueue?.java:599)
at java.awt.EventDispatchThread?.pumpOneEventForFilters(EventDispatchThread?.java:269)
at java.awt.EventDispatchThread?.pumpEventsForFilter(EventDispatchThread?.java:184)
at java.awt.EventDispatchThread?.pumpEventsForHierarchy(EventDispatchThread?.java:174)
at java.awt.EventDispatchThread?.pumpEvents(EventDispatchThread?.java:169)
at java.awt.EventDispatchThread?.pumpEvents(EventDispatchThread?.java:
