New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Search Options dialog does not work on search top page #544

Closed

marevol opened this issue Jun 16, 2016 · 0 comments

Assignees

Labels

bug

Milestone

Contributor

marevol commented Jun 16, 2016

No description provided.

marevol added the bug label

marevol added this to the 10.1.1 milestone

marevol self-assigned this

marevol closed this as completed in

0f87da2

marevol added a commit that referenced this issue


          fix #544 : modify css

aed9910

# for free to join this conversation on GitHub. Already have an account? # to comment