// Simple helper delaying the call to wxExecute(): instead of running it
// immediately, it runs it when we re-enter the event loop.
class DelayedExecuteTimer : public wxTimer
// Simple helper delaying the call to wxExecute(): instead of running it
// immediately, it runs it when we re-enter the event loop.
class DelayedExecuteTimer : public wxTimer