#168 Stopping runaway interactions pane (Eclipse plug-in)

[Anonymous]

Hi,

Is there any way to stop a runaway interactions pane (Eclipse plug-in version of DrJava)? We ran into a problem when demonstrating an infinite loop in the classroom, namely that we were unable to stop DrJava without exiting Eclipse. Resetting the interactions pane only caused Eclipse to hang.

Thanks!
Carl