Skip to content

Also re-search if target element not found#161332

Merged
rzhao271 merged 1 commit intomainfrom
rzhao271/research-target
Sep 20, 2022
Merged

Also re-search if target element not found#161332
rzhao271 merged 1 commit intomainfrom
rzhao271/research-target

Conversation

@rzhao271
Copy link
Copy Markdown
Collaborator

Fixes #161305

@rzhao271 rzhao271 self-assigned this Sep 20, 2022
@vscodenpa vscodenpa added this to the September 2022 milestone Sep 20, 2022
@rzhao271 rzhao271 merged commit 8b7180c into main Sep 20, 2022
@rzhao271 rzhao271 deleted the rzhao271/research-target branch September 20, 2022 19:59
@github-actions github-actions bot locked and limited conversation to collaborators Nov 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

"Window: Title Bar Style" link doesn't work when viewing other Window settings

3 participants