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.

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

Editor search regex revamp radio buttons #12795

Conversation

riverwanderer
Copy link
Collaborator

No description provided.

riverwanderer and others added 30 commits October 2, 2023 18:59
… editor-search-regex-revamp

# Conflicts:
#	vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
… or not found, show Regex pattern specifically, in case of default.
…own' into editor-search-regex-revamp-dropdown
…own' into editor-search-regex-revamp-dropdown

# Conflicts:
#	vassal-app/src/main/resources/VASSAL/i18n/Editor.properties
riverwanderer and others added 14 commits October 9, 2023 00:56
…buttons' into editor-search-regex-revamp-radiobuttons

# Conflicts:
#	vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
…buttons' into editor-search-regex-revamp-radiobuttons

# Conflicts:
#	vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
…buttons' into editor-search-regex-revamp-radiobuttons

# Conflicts:
#	vassal-app/src/main/java/VASSAL/configure/ConfigureTree.java
@Cattlesquat
Copy link
Collaborator

Should this PR be closed if it's being superseded? Closed PRs can still be looked at (by looking at closed PRs), can be re-opened later if needed, and none of their code checkins go away or anything

@riverwanderer riverwanderer deleted the editor-search-regex-revamp-radiobuttons branch November 25, 2023 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
On Hold Waiting for other changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants