Closed rhaschke closed 1 year ago
Various fixes and improvements to the SplitterHandle used in PropertyTreeWidgets. Fixes #1758.
Various fixes and improvements to the SplitterHandle used in PropertyTreeWidgets. Fixes #1758.