flik/termora
1
0
Fork 0
mirror of https://github.com/TermoraDev/termora.git synced 2026-01-16 02:12:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix: key shortcut not working

Browse Source
This commit is contained in:
hstyi
2025-07-19 13:01:31 +08:00
committed by hstyi
parent ae7730fb35
commit 8ec7e416ea
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/main/kotlin/app/termora/KeymapRefresher.kt
View File

@@ -24,7 +24,7 @@ internal class KeymapRefresher private constructor() : DatabasePropertiesChanged
source: DatabaseChangedExtension.Source source: DatabaseChangedExtension.Source
) { ) {
if (type != "Keymap") return if (type != "Keymap") return
refresh() refresh(true)
} }
override fun onPropertyChanged(name: String, key: String, value: String) { override fun onPropertyChanged(name: String, key: String, value: String) {
@@ -33,10 +33,12 @@ internal class KeymapRefresher private constructor() : DatabasePropertiesChanged
refresh() refresh()
} }
private fun refresh() { private fun refresh(force: Boolean = false) {
synchronized(this) { synchronized(this) {
if (currentKeymap == activeKeymapName) { if (force.not()) {
return if (currentKeymap == activeKeymapName) {
return
}
} }
currentKeymap = activeKeymapName currentKeymap = activeKeymapName