- std::string open_file_name = std::string(),
- std::string open_file_format = std::string(),
- QWidget *parent = 0);
+ string open_file_name = string(),
+ string open_file_format = string(),
+ bool restore_sessions = true,
+ QWidget *parent = nullptr);