view tony.icns @ 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 f2c853101aeb
children
line wrap: on
line source
(binary:application/octet-stream)