}
void View::restore_settings(QSettings &settings)
{
// Note: It is assumed that this function is only called once,
// immediately after restoring a previous session.
}
void View::restore_settings(QSettings &settings)
{
// Note: It is assumed that this function is only called once,
// immediately after restoring a previous session.