The eclipse environment is usually used for java development work with usually short processing times.

In the Epispin environment the situation is different: one may start a verification. Performing a verification may take several hours.

Would it be possible to have an indicator (hourglass) indicating that spin (spin; gcc; pan) is active?

Submitted by Kees Pronk on 25 August 2011 at 11:05