// GUI-specific implementations
-void alert_pimpl(string const & s1, string const & s2, string const & s3);
-
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);