diff .hgignore @ 1434:387bc365aac1 levelpanwidget

When the window is actually being closed, we need to close the prefs quickly (otherwise we get a crash on Mac)
author Chris Cannam
date Thu, 15 Dec 2016 14:40:20 +0000
parents 948203d84888
children 10952e402220
line wrap: on
line diff