#include <user_options.h>
Public Member Functions | |
void | clear () |
void | load (const std::string &filename) |
void | save (const std::string &filename) |
Static Public Member Functions | |
static std::string | filename_from_solution (const std::string &solution_filename) |
Public Attributes | |
std::vector< OpenedItem > | opened_items |
std::vector< ProjectOptions > | projects |