// Same, but issue messages in status line
void create_session_dir(const string& session)
{
std::ostringstream messages;
create_session_dir(session, messages);
string msg(messages);
while (!msg.empty())
{
string line = msg.before('\n');
set_status(line);
msg = msg.after('\n');
}
}
static void SaveTipCountCB(Widget, XtPointer = 0, XtPointer = 0)
{
create_session_dir(DEFAULT_SESSION);
const string file = session_tips_file();
std::ofstream os(file.chars());
os <<
"! " DDD_NAME " tips file\n"
"\n"
<< app_value(XtNstartupTipCount,
itostring(++app_data.startup_tip_count)) << "\n";
os.close();
if (os.bad())
{
post_error("Cannot save tip count in " + quote(file),
"options_save_error");
}
}
