Hey, thanks! This comes handy for my app as well :^)
Anyway, Hilaire, if you want to get rid of that progress bar, you only have to evaluate:
SystemProgressMorph reset.
So maybe adding that line at the end of your script can be a workaround...On Wed, Jun 27, 2012 at 9:03 AM, Hilaire Fernandes <hilaire.fernandes@edu.ge.ch> wrote:On 25/06/2012 13:30, St�phane Ducasse wrote:Great. DrGeo 12.07 will survive to it, later release will move to 2.0
> we do not know (at least I do not know what happened with the old progress bar).
> Now in 2.0 it is fixed (yes I know that you need a 1.4 version).
anyway.