Files
whisper-local/whisper_local
info 7319ff6299 fix: App beendet sich nicht mehr nach Hotkey-Änderung in Einstellungen
run() wartete auf den Hotkey-Task direkt; beim Neustart des Listeners
wurde dieser Task beendet und run() kehrte zurück. Jetzt wartet run()
auf ein asyncio.Event (_quit_event), das nur durch _quit() gesetzt wird.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-04-11 11:15:55 +02:00
..