-
-
Notifications
You must be signed in to change notification settings - Fork 88
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
No search panel shown #156
Comments
There is a border between the search results, and the search panel, where you can set the search options. You can drag it with the mouse, and move. Sometimes it seems like if it was moved fully to the right side of the window, howewer it wasn't. In this case, the search panel not shown. |
Hmm.. There was one more issue about this, but I'm not sure how it can be fixed, as I'm not able to reproduce it. See #131 |
I didn't found that issue, so it is a duplicate of #131. Sorry. |
When the right-side search panel gets bellow 200 pixels, this value will be used as a default width of the panel. (#156)
Sometimes, the border between the search results, and the search settings panel is fully on the right side of the window, causes that the search panel not shown.
The text was updated successfully, but these errors were encountered: