/// The file can be changed, or the display params, or both.
void reset(string const & file_with_path,
DisplayType = ColorDisplay) const;
/// The file can be changed, or the display params, or both.
void reset(string const & file_with_path,
DisplayType = ColorDisplay) const;