Fri, 20 Nov 2020 11:17:40 +0100 Edouard Tisserant Project tree: avoid flickering and glitches in notebook when selecting some still not opened ConfigTreeNode svghmi
Wed, 18 Nov 2020 23:08:17 +0100 Edouard Tisserant merge svghmi