> Unless someone comes up with a good reason it should stay, we should > deprecate this mechanism. The question is whether it's too late to > split out all the recent additions to the event pump and put them some > more reasonable place in the public API before the release.
I would say go ahead and do this is we have agreement. This sounds like simple refactoring and we don't really want to release anything now that we know we will deprecate later. Bob. --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
