// GUI-specific implementations
int prompt_pimpl(string const & title, string const & question,
- int default_button,
+ int default_button, int escape_button,
string const & b1, string const & b2, string const & b3);
void warning_pimpl(string const & title, string const & warning);