diff deploy/src/archive-tip.sh @ 2375:59b7fa58c0af

Use updated MainWindowBase API with ability to open playback device before record - hoping to fix #1946 Should ask for microphone permission only when first recording, not when first opening a file
author Chris Cannam
date Wed, 16 Oct 2019 15:28:48 +0100
parents b578440bbca6
children 7535f13569fa
line wrap: on
line diff