// Find out if Dolphin is closed directly by the user or
// by the session manager because the session is closed
bool closedByUser = true;
// Find out if Dolphin is closed directly by the user or
// by the session manager because the session is closed
bool closedByUser = true;