Hi. Thanks for the explanation. I think I'll just live it with it for now. It is easiest for the controller to just use user-yes-or-no? than add custom dialogues to the frame.
I guess my situation is provably one where there is no execution to continue (since user-yes-or-no? is all that is called from the controller). But I see why in general it serves a reasonable function. Best, -ken On 23 January 2014 20:49, Seth Tisue <[email protected]> wrote: > >>>>> "Ken" == Ken Kahn <[email protected]> writes: > > Ken> When using the controlling API to report the value of > Ken> user-yes-or-no? ... the user is presented with 3 buttons: yes, > Ken> no, and halt. If they choose halt then the value returned is an > Ken> instance of org.nlogo.nvm.HaltException. These questions come up > Ken> before the model is run so I'm not sure what 'halt' is suppose to > Ken> mean and why it is there. I can't ignore the 'halt' unless I > Ken> assume that the halt button and the no button mean the same thing. > > The difference between "No" and "Halt" is that after "No", execution > continues, whereas "Halt" halts the model, same as the Halt menu item on > the Tools menu. The idea is that without the Halt button available as > an exit hatch, a user could potentially end up in an infinite loop of > dialogs with no escape except by force quitting the application (and > losing the opportunity to save their work). If you find the disease > (the confusing extra button) worse than the cure (the escape hatch), you > might write a little extension where you bring up the dialog you want > yourself. > > -- > Seth Tisue | http://tisue.net > > -- > You received this message because you are subscribed to the Google Groups > "netlogo-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
