google-code-export / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Evaluator console cannot be cancelled #72

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
The current evaluator console relies on a blocking call to
BufferedReader.readline().

As such, the only way to quit the evaluator is to rely on a specific value
returned by reaadline.

The cancel button of the Eclipse platform is not taken into account.

This is annoying for the end user.

Original issue reported on code.google.com by daniel.l...@gmail.com on 2 Dec 2008 at 11:16