GUIOptions * options_
Options defining toolbar, keyboard shortcuts etc.
ProximSimulationThread * simulation()
ProximMainFrame * mainFrame_
The application main frame.
CommandRegistry & commandRegistry()
void createDefaultOptions()
ProximSimulationThread * simulation_
The simulation thread running the simulator backend.
static const std::string CONFIG_FILE_NAME
Name of the config file.
static const std::string SCHEMA_FILE_NAME
Name of the xml-schema file.
CommandRegistry * commandRegistry_
The application command registry.