#pragma once #include void init_preferences_HAL(void); void save_preferences_HAL(void); std::string get_activeScene_HAL(); void set_activeScene_HAL(std::string anActiveScene); std::string get_activeGUIname_HAL(); void set_activeGUIname_HAL(std::string anActiveGUIname); int get_activeGUIlist_HAL(); void set_activeGUIlist_HAL(int anActiveGUIlist); int get_lastActiveGUIlistIndex_HAL(); void set_lastActiveGUIlistIndex_HAL(int aGUIlistIndex);