SVGHMI: Add file type drag'n'drop to widget picker, for now drops widget's original SVG.
svghmi
2021-03-31, Edouard Tisserant