diff framework/Document.cpp @ 712:8e9702c0b9c7

Support updated PaneStack options API
author Chris Cannam
date Fri, 04 Oct 2019 13:52:48 +0100
parents 7669c8cc869d
children b8bf2900a478
line wrap: on
line diff