From 8ec7e416ea890c068b575810ccfd77d6469bfdb8 Mon Sep 17 00:00:00 2001 From: hstyi Date: Sat, 19 Jul 2025 13:01:31 +0800 Subject: [PATCH] fix: key shortcut not working --- src/main/kotlin/app/termora/KeymapRefresher.kt | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/main/kotlin/app/termora/KeymapRefresher.kt b/src/main/kotlin/app/termora/KeymapRefresher.kt index 1effdfd..8e4366a 100644 --- a/src/main/kotlin/app/termora/KeymapRefresher.kt +++ b/src/main/kotlin/app/termora/KeymapRefresher.kt @@ -24,7 +24,7 @@ internal class KeymapRefresher private constructor() : DatabasePropertiesChanged source: DatabaseChangedExtension.Source ) { if (type != "Keymap") return - refresh() + refresh(true) } override fun onPropertyChanged(name: String, key: String, value: String) { @@ -33,10 +33,12 @@ internal class KeymapRefresher private constructor() : DatabasePropertiesChanged refresh() } - private fun refresh() { + private fun refresh(force: Boolean = false) { synchronized(this) { - if (currentKeymap == activeKeymapName) { - return + if (force.not()) { + if (currentKeymap == activeKeymapName) { + return + } } currentKeymap = activeKeymapName