misc: Add deviceid to configuration and enhance switchconfig#2175

Merged

mloubout merged 6 commits intodevitocodes:masterfrom ccuetom:switchconfig

Aug 4, 2023

+42-25

Commits on Aug 4, 2023

misc: Add deviceid to configuration and enhance switchconfig

ccuetom
authored and
mloubout
committed
misc: Simplify restoration of previous config in switchconfig

ccuetom
authored and
mloubout
committed
misc: Improve DeviceID default behaviour

ccuetom
authored and
mloubout
committed
misc: Add name property to Compiler

ccuetom
authored and
mloubout
committed
misc: Bypass update functions in switchconfig

ccuetom
authored and
mloubout
committed
misc: Harmonise configuration callbacks

ccuetom
authored and
mloubout
committed