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

Add history to Construction Search #78819

Merged
merged 1 commit into from
Dec 29, 2024
Merged

Add history to Construction Search #78819

merged 1 commit into from
Dec 29, 2024

Conversation

alef
Copy link
Contributor

@alef alef commented Dec 28, 2024

Summary

Interface "Add history to Construction Search"

Purpose of change

Construction menu may benefit of history search.

Describe the solution

Use query_string() and create a context named "construction".

Describe alternatives you've considered

None

Testing

✔ Tested in-game
image

Additional context

@github-actions github-actions bot added Crafting / Construction / Recipes Includes: Uncrafting / Disassembling [C++] Changes (can be) made in C++. Previously named `Code` Info / User Interface Game - player communication, menus, etc. astyled astyled PR, label is assigned by github actions json-styled JSON lint passed, label assigned by github actions BasicBuildPassed This PR builds correctly, label assigned by github actions labels Dec 28, 2024
@Maleclypse Maleclypse merged commit e0b3658 into CleverRaven:master Dec 29, 2024
24 of 27 checks passed
@alef alef deleted the construction_history branch December 29, 2024 08:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
astyled astyled PR, label is assigned by github actions BasicBuildPassed This PR builds correctly, label assigned by github actions [C++] Changes (can be) made in C++. Previously named `Code` Crafting / Construction / Recipes Includes: Uncrafting / Disassembling Info / User Interface Game - player communication, menus, etc. json-styled JSON lint passed, label assigned by github actions
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@alef @Maleclypse