Search improvements
Fixes inspector search, drops last bits of API that were using handle_event()
API, in favor of set_key_capture_widget()
. Eventually, the handle_event()
API is removed.
Fixes inspector search, drops last bits of API that were using handle_event()
API, in favor of set_key_capture_widget()
. Eventually, the handle_event()
API is removed.