diff widgets/TextAbbrev.h @ 1529:adbc3f1c4c4e

Fix alignment of property box when switching back on after having been hidden
author Chris Cannam
date Mon, 07 Oct 2019 14:08:23 +0100
parents 05d614f6e46d
children
line wrap: on
line diff