diff tony.desktop @ 604:fd86f443678a

Workaround for #1930 "Crash on Windows when opening session file after another file has been opened" - use reworked PaneStack API to enforce never creating property boxes
author Chris Cannam
date Fri, 04 Oct 2019 13:57:02 +0100
parents 93efb2d59021
children 8c6e87a89101
line wrap: on
line diff