Good point. And although you could change it to "dontRepeat," I don't think it would make much sense.
Sent from Alex's iPhone On Oct 2, 2008, at 9:15 PM, "Aaron Boodman" <[EMAIL PROTECTED]> wrote: > On Thu, Oct 2, 2008 at 7:08 PM, Alex Iskander <[EMAIL PROTECTED]> wrote: >> I agree. "Repeating", it seems to me, should be an optional >> argument; the >> callback and time, on the other hand, are completely necessary. > > Good point. > >> The default value for "repeating" is probably up for debate. Would >> more web >> developers use it for repitition, or for single-use? For high >> resolution >> purposes (the original purpose of the proposed API), it seems more >> likely to >> be one use only. > > I think it usually makes sense to have optional boolean params default > to false, since undefined coerces to false in JS. > > - a _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev