[DrJava] [ drjava-Bugs-681552 ] Fun With Killing Interactions

[SourceForge.net <no...@so...>]

Bugs item #681552, was opened at 2003-02-06 03:29
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=681552&group_id=44253

Category: Interactions
Group: Makes DrJ unstable
Status: Open
Resolution: None
Priority: 5
Submitted By: Peter Centgraf (centgraf)
Assigned to: Nobody/Anonymous (nobody)
Summary: Fun With Killing Interactions

Initial Comment:
Launch DrJava.  Select the "> " on the first line of the Interactions pane.  hit Delete.  Notice that nothing happened.  Now put the cursor back where it belongs and hit Enter.  Visit the Console tab to see:

java.lang.IllegalArgumentException: bad position: 22
	at javax.swing.text.JTextComponent.setCaretPosition(JTextComponent.java:1120)
	at edu.rice.cs.drjava.ui.InteractionsPane$CaretUpdateListener.insertUpdate(InteractionsPane.java:74)
	at javax.swing.text.AbstractDocument.fireInsertUpdate(AbstractDocument.java:175)
	at javax.swing.text.AbstractDocument.insertString(AbstractDocument.java:537)
	at edu.rice.cs.drjava.model.repl.AbstractInteractionsDocument.insertString(AbstractInteractionsDocument.java:176)
	at edu.rice.cs.drjava.model.DefaultGlobalModel._docAppend(DefaultGlobalModel.java:916)
	at edu.rice.cs.drjava.model.DefaultGlobalModel.interpretCurrentInteraction(DefaultGlobalModel.java:783)
	at edu.rice.cs.drjava.model.repl.DefaultInteractionsDocument.interpretCurrentInteraction(DefaultInteractionsDocument.java:68)
	at edu.rice.cs.drjava.ui.InteractionsPane$2.construct(InteractionsPane.java:95)
	at edu.rice.cs.util.swing.SwingWorker$2.run(SwingWorker.java:150)
	at java.lang.Thread.run(Thread.java:491)

The Interactions JVM is now dead.  If you try to reset it, it will prevent you from quitting DrJava gracefully.  (See my last bug report about comments in the interactions for an example.)

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=681552&group_id=44253