It would be better to dispatch events from searchbox.
e.g you can add `this.editor._emit("focusSearchbox")` in
https://github.com/ajaxorg/ace/blob/master/lib/ace/ext/searchbox.js#L124, and listen to it instead of using mutation observer.