There are quite a few words that are related to terminating a program. http://wiki.arabeyes.org/techdict:Abort
"Abort : Close : Quit : Exit : Kill : Terminate : End : Finish : Cancel" Djihed 2008/8/6 Matteo Settenvini <[EMAIL PROTECTED]>: > There's a third word that suggests termination of a task: "abort". > Is it the same of "stop", or do we assume it is something > that happens a lot more abruptly? > > I think that "abort" is mostly for unwanted effects, and thus should > never be used in e.g. clickable UI buttons. > > Cheers, > Matteo > > On mer, 2008-08-06 at 14:28 -0500, Shaun McCance wrote: >> ============================================================ >> cancel >> End an operation without leaving any side effects. Only use >> "cancel" if the operation can be ended cleanly, leaving the >> system in the same state as before the operation was started. >> Use "stop" instead if ending the operation will result in >> partial effects of the operation remaining. >> ============================================================ >> stop >> End an operation leaving some side effects. Use stop if the >> operation cannot be ended cleanly, or if ending the operation >> will leave it partially completed. Use "cancel" instead if >> the operation can be ended cleanly with no side effects. >> ============================================================ >> >> We don't currently have recommendations for these in the >> Style Guide, but this jives with the HIG's recommendation: >> >> http://library.gnome.org/devel/hig-book/stable/feedback-interrupting.html.en >> >> Suggestions on better wording are welcome. >> >> -- >> Shaun >> >> >> _______________________________________________ >> gnome-doc-list mailing list >> [email protected] >> http://mail.gnome.org/mailman/listinfo/gnome-doc-list > > _______________________________________________ > gnome-doc-list mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/gnome-doc-list > > _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
