Hammerspoon/hammerspoon
Auf GitHub ansehenwindowHints hotkey modal clashes with user defined modals
Open
#606 geöffnet am 14. Okt. 2015
bughelp wanted
Repository-Metriken
- Stars
- (15.415 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
It seems like windowHints implementation is based on modal hotkeys, and it defines a global variable named "k" for the modal. That global variable was clashing with my own modal variable (also named "k") causing weird behavior. Changing my modal variable name fixed it.
I'm not experienced enough with hammerspoon or lua to fix this myself. Is it possible to use a local variable in the windowHints module? Maybe the windowHints variable should have a less common name?
I believe this is the line causing trouble.
Thanks!