mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Created a class PreferencesData to manage all parameters except the ones for the GUI. Removed GUI parameters management from ParametersMap. Created ParametersHelper class to help with GUI parameters management. Used ParametersHelper in Themes.