[Bluej-discuss] restarting virtual machine

[Torsten Otto]

Howdy!

You can right-click on the process bar just above the object bar to  
achieve this.

Regards,
Torsten Otto

Am 06.09.2007 um 15:21 schrieb Ben Kaplan:

> Is there any way for an extension to reset the virtual machine? The  
> extension I'm working on (a coverage tool) won't update itself  
> until the virtual machine finishes running. Right now, that means  
> the users have to manually reset the virtual machine every time  
> they want to check the coverage.
>
> Yahoo! oneSearch: Finally, mobile search that gives answers, not  
> web links.
> _______________________________________________
> mailing list bluej-discuss at bluej.org
> To unsubscribe or change your preferences, go to
> http://lists.bluej.org/mailman/listinfo/bluej-discuss

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.bluej.org/pipermail/bluej-discuss/attachments/20070907/e3cfbbbc/attachment.html