#750 IllegalStateException at Startup
When trying to start jEdit 3.2.2 on Windows 2000 it
throws IllegalStateException in JEditTextArea.
C:\Programme\jEdit-3.2.2>java -jar jedit.jar
[error] Exception occurred during event dispatching:
[error] java.lang.IllegalArgumentException: 6340 > 0
[error] at
org.gjt.sp.jedit.textarea.JEditTextArea._addToSelection(JEdit
TextArea.java:4196)
[error] at
org.gjt.sp.jedit.textarea.JEditTextArea.setSelection(JEditTex
tArea.java:1408)
[error] at
org.gjt.sp.jedit.EditPane.loadCaretInfo(EditPane.java:225)
[error] at
org.gjt.sp.jedit.EditPane$2.run(EditPane.java:113)
[error] at
org.gjt.sp.jedit.EditPane.setBuffer(EditPane.java:121)
[error] at
org.gjt.sp.jedit.EditPane.<init>(EditPane.java:275)
[error] at
org.gjt.sp.jedit.View.createEditPane(View.java:924)
[error] at
org.gjt.sp.jedit.View.restoreSplitConfig(View.java:866)
[error] at
org.gjt.sp.jedit.View.<init>(View.java:681)
[error] at
org.gjt.sp.jedit.jEdit.newView(jEdit.java:1671)
[error] at
org.gjt.sp.jedit.jEdit$1.run(jEdit.java:385)
[error] at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:
154)
[error] at
java.awt.EventQueue.dispatchEvent(EventQueue.java:337)
[error] at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDi
spatchThread.java:131)
[error] at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDisp
atchThread.java:98)
[error] at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.j
ava:93)
[error] at
java.awt.EventDispatchThread.run(EventDispatchThread.java:85)
Logged In: NO
I'm using Sun JDK 1.3.1_01
Logged In: YES
user_id=2280
I'm not sure what causes this (maybe the Sessions plugin?)
but I will add a check for end > start in the next release.
Logged In: NO
It is happening on a completely new installed version of
JEdit, having only the preinstalled plugins in the jars
directory.
Logged In: YES
user_id=2280
Can you send me (slava@jedit.org) your
<user.home>\.jedit\recent.xml file? <user.home> is
C:\Windows\Profiles\<user name>, I think. It might also be
C:\Documents and Settings\<user name>.