Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve on v3.7.1 editor regex search #12774

Closed
riverwanderer opened this issue Oct 2, 2023 · 0 comments · Fixed by #12798
Closed

Improve on v3.7.1 editor regex search #12774

riverwanderer opened this issue Oct 2, 2023 · 0 comments · Fixed by #12798
Assignees
@riverwanderer
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Milestone
3.7.6

Comments

@riverwanderer
Copy link
Collaborator

riverwanderer commented Oct 2, 2023 •
edited
Loading

Per this forum thread, the new Editor search regex option (PR #12716) could be clarified and/or made a little easier to use.
@riverwanderer riverwanderer added documentation Improvements or additions to documentation enhancement New feature or request labels Oct 2, 2023
@riverwanderer riverwanderer added this to the 3.7.2 milestone Oct 2, 2023
@riverwanderer riverwanderer self-assigned this Oct 2, 2023
@riverwanderer riverwanderer linked a pull request Oct 5, 2023 that will close this issue
Editor search type dropdown menu #12789
Closed
@uckelman uckelman modified the milestones: 3.7.2, 3.7.3 Oct 8, 2023
@riverwanderer riverwanderer linked a pull request Oct 11, 2023 that will close this issue
Editor search revamp: more options and enhanced navigation #12798
Merged
@uckelman uckelman modified the milestones: 3.7.3, 3.7.4 Oct 16, 2023
@riverwanderer riverwanderer removed a link to a pull request Oct 16, 2023
Editor search type dropdown menu #12789
Closed
@uckelman uckelman modified the milestones: 3.7.4, 3.7.5 Oct 20, 2023
@uckelman uckelman modified the milestones: 3.7.5, 3.7.6 Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@riverwanderer riverwanderer

Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
Milestone
3.7.6
Development

Successfully merging a pull request may close this issue.

Editor search revamp: more options and enhanced navigation riverwanderer/vassal
2 participants
@uckelman @riverwanderer