Hi A-Ron,
Thanks a lot, the solution works perfectly. I've put a shortcut to
enable and disable the functionality. Such a relief to see that
menubar going away for good :)
Just for my understanding, is this "return true | false" statement
saying to ignore or not ignore the event of type mouseMoved?
> --
> You received this message because you are subscribed to the Google Groups "Hammerspoon" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
hammerspoon...@googlegroups.com.
> To view this discussion on the web, visit
https://groups.google.com/d/msgid/hammerspoon/d64af370-66e2-4723-8dcc-b2d8617b5d85n%40googlegroups.com.