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

Restructure user interface settings and disable search box patch by default #423

Merged
merged 1 commit into from
Dec 12, 2018

Conversation

Kexanone
Copy link
Member

When merged this pull request will:

@Kexanone Kexanone added change Issue or PR that will change a implemented feature. priority/high Issue or PR that should be resolved as quickly as possible. testing/tested Indicates that the PR's latest commit has been tested and is working properly. labels Dec 12, 2018
@Kexanone Kexanone added this to the 1.2.1 milestone Dec 12, 2018
@Kexanone Kexanone self-assigned this Dec 12, 2018
@Kexanone Kexanone requested a review from CreepPork December 12, 2018 17:47
@Kexanone Kexanone changed the title Restructure user interface settings; Disable search box patch by default Restructure user interface settings and disable search box patch by default Dec 12, 2018
@Kexanone Kexanone merged commit 3d7dfd0 into master Dec 12, 2018
@Kexanone Kexanone deleted the revSearchPatch branch December 12, 2018 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
change Issue or PR that will change a implemented feature. priority/high Issue or PR that should be resolved as quickly as possible. testing/tested Indicates that the PR's latest commit has been tested and is working properly.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants