Skip to content

Several bug correction for widgets.#1568

Merged
GillesDuvert merged 7 commits intognudatalanguage:masterfrom
GillesDuvert:WIDGETS_OK_PLOTMAN
Apr 20, 2023