util/__init__.py
author Edouard Tisserant <edouard.tisserant@gmail.com>
Fri, 20 Nov 2020 11:17:40 +0100
changeset 2696 9bd639e9124e
parent 742 41a4a560406c
permissions -rw-r--r--
Project tree: avoid flickering and glitches in notebook when selecting some still not opened ConfigTreeNode