binder: import hoverbinder from darkui, refactoring required!