The search functionality needs JavaScript enabled
void setState( Widget source, ref EditorStateInfo editorState );